diff --git a/kernel/GNUmakefile b/kernel/GNUmakefile
index bb1e936..d31394c 100644
--- a/kernel/GNUmakefile
+++ b/kernel/GNUmakefile
@@ -38,6 +38,8 @@ override INTERNALCFLAGS := \
     -fno-stack-check       \
     -fno-pie               \
     -fno-pic               \
+    -m64                   \
+    -march=x86-64          \
     -mabi=sysv             \
     -mno-80387             \
     -mno-mmx               \