1.1 --- a/config/arch/x86_64.in	Fri Nov 07 08:09:42 2008 +0000
     1.2 +++ b/config/arch/x86_64.in	Wed Oct 28 18:55:40 2009 +0100
     1.3 @@ -2,6 +2,7 @@
     1.4  
     1.5  config ARCH_x86_64
     1.6      select ARCH_64
     1.7 +    select ARCH_USE_MMU
     1.8      select ARCH_SUPPORT_ARCH
     1.9      select ARCH_SUPPORT_CPU
    1.10      select ARCH_SUPPORT_TUNE