diff -r 896cb0d36c1a -r 0afb64320510 config/arch/x86.in
--- a/config/arch/x86.in	Sun May 08 19:02:44 2011 +0200
+++ b/config/arch/x86.in	Mon Jan 30 21:31:20 2012 +0100
@@ -4,9 +4,9 @@
 ## select ARCH_SUPPORTS_64
 ## select ARCH_DEFAULT_32
 ## select ARCH_USE_MMU
-## select ARCH_SUPPORT_ARCH
-## select ARCH_SUPPORT_CPU
-## select ARCH_SUPPORT_TUNE
+## select ARCH_SUPPORTS_WITH_ARCH
+## select ARCH_SUPPORTS_WITH_CPU
+## select ARCH_SUPPORTS_WITH_TUNE
 ##
 ## help The x86 architecture, as defined by:
 ## help     32-bit (ia32) : http://www.intel.com/