diff --git a/kernel/GNUmakefile b/kernel/GNUmakefile
index 3cb3e72..b1cde5e 100644
--- a/kernel/GNUmakefile
+++ b/kernel/GNUmakefile
@@ -53,7 +53,6 @@ override CFLAGS += \
     -fPIE \
     -m64 \
     -march=x86-64 \
-    -mabi=sysv \
     -mno-80387 \
     -mno-mmx \
     -mno-sse \