diff -r 5d1936ad5ba8 -r 896cb0d36c1a config/arch/x86.in
--- a/config/arch/x86.in	Tue Nov 17 11:51:57 2009 +0100
+++ b/config/arch/x86.in	Sun May 08 19:02:44 2011 +0200
@@ -1,14 +1,13 @@
 # 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:
-        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
+## 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:
+## help     32-bit (ia32) : http://www.intel.com/
+## help     64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html