1.1 --- a/config/arch/x86.in	Sun May 08 19:02:44 2011 +0200
     1.2 +++ b/config/arch/x86.in	Sun Nov 11 21:42:47 2012 +0100
     1.3 @@ -4,9 +4,9 @@
     1.4  ## select ARCH_SUPPORTS_64
     1.5  ## select ARCH_DEFAULT_32
     1.6  ## select ARCH_USE_MMU
     1.7 -## select ARCH_SUPPORT_ARCH
     1.8 -## select ARCH_SUPPORT_CPU
     1.9 -## select ARCH_SUPPORT_TUNE
    1.10 +## select ARCH_SUPPORTS_WITH_ARCH
    1.11 +## select ARCH_SUPPORTS_WITH_CPU
    1.12 +## select ARCH_SUPPORTS_WITH_TUNE
    1.13  ##
    1.14  ## help The x86 architecture, as defined by:
    1.15  ## help     32-bit (ia32) : http://www.intel.com/