1 files changed, 15 insertions, 3 deletions

diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index 34517bf14ba4..1eb59971af5d 100644
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -1,13 +1,25 @@
 # x86 configuration
+mainmenu "Linux Kernel Configuration for x86"
+
+# Select 32 or 64 bit
+config 64BIT
+        bool "64-bit kernel"
+        default n
+        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
+
+config X86_32
+        def_bool !64BIT
+
+config X86_64
+        def_bool 64BIT
 
 ### Arch settings
 config X86
         bool
         default y
 
-config 64BIT
-        def_bool X86_64
-
 config GENERIC_TIME
         bool
         default y