# Select 32 or 64 bit config 64BIT bool "64-bit kernel" if ARCH = "x86" default ARCH = "x86_64" ---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