x86: Default to ARCH=x86 to avoid overriding CONFIG_64BIT
[linux-3.10.git] / arch / x86 / Kconfig
index 46c3bff..9084c7b 100644 (file)
@@ -1,7 +1,7 @@
 # Select 32 or 64 bit
 config 64BIT
        bool "64-bit kernel" if ARCH = "x86"
-       default ARCH = "x86_64"
+       default ARCH != "i386"
        ---help---
          Say yes to build a 64-bit kernel - formerly known as x86_64
          Say no to build a 32-bit kernel - formerly known as i386