Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision b3364b7cc7113d420314541339b836160b907779)
+++ defaults/amd64/Makefile.config	(revision 4bf0926eafdfba5eb055645d92feb2f44e40542f)
@@ -1,4 +1,7 @@
 # Platform
 PLATFORM = amd64
+
+# Kernel memory model
+MEMORY_MODEL = kernel
 
 # Ramdisk format