diff -r 33f695f7773a -r 186c71e3ceb0 config/arch/x86_64.in
--- a/config/arch/x86_64.in	Fri Nov 07 08:09:42 2008 +0000
+++ b/config/arch/x86_64.in	Tue Nov 17 11:33:59 2009 +0100
@@ -2,6 +2,7 @@
 
 config ARCH_x86_64
     select ARCH_64
+    select ARCH_USE_MMU
     select ARCH_SUPPORT_ARCH
     select ARCH_SUPPORT_CPU
     select ARCH_SUPPORT_TUNE