diff -r 27fec561af53 -r 5d1936ad5ba8 config/arch/x86.in
--- a/config/arch/x86.in	Wed May 20 20:13:13 2009 +0000
+++ b/config/arch/x86.in	Tue Nov 17 11:51:57 2009 +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