diff -r 9fb0f81b4416 -r 33f695f7773a config/arch/x86_64.in
--- a/config/arch/x86_64.in	Sun Oct 05 15:32:00 2008 +0000
+++ b/config/arch/x86_64.in	Fri Nov 07 08:09:42 2008 +0000
@@ -1,6 +1,7 @@
 # x86_64 specific options
 
 config ARCH_x86_64
+    select ARCH_64
     select ARCH_SUPPORT_ARCH
     select ARCH_SUPPORT_CPU
     select ARCH_SUPPORT_TUNE