diff -r 27fec561af53 -r 1333e4ac89f0 config/arch/x86.in
--- a/config/arch/x86.in	Wed May 20 20:13:13 2009 +0000
+++ b/config/arch/x86.in	Tue Jan 25 22:14:52 2011 +0100
@@ -1,10 +1,14 @@
 # x86 specific options
 
 config ARCH_x86
+    select ARCH_SUPPORTS_32
+    select ARCH_SUPPORTS_64
+    select ARCH_DEFAULT_32
     select ARCH_USE_MMU
     select ARCH_SUPPORT_ARCH
     select ARCH_SUPPORT_CPU
     select ARCH_SUPPORT_TUNE
     help
       The x86 architecture, as defined by:
-        http://www.intel.com/
+        32-bit (ia32) : http://www.intel.com/
+        64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html