# CONFIG_M486 is not set
CONFIG_MGEODE_LX=y
# CONFIG_MOUSE_PS2 is not set
+# CONFIG_PCIEPORTBUS is not set
# CONFIG_PCSPKR_PLATFORM is not set
CONFIG_PROCESSOR_SELECT=y
# CONFIG_SCx200 is not set
# CONFIG_SERIO_LIBPS2 is not set
CONFIG_X86_DEBUGCTLMSR=y
# CONFIG_X86_DS is not set
+# CONFIG_X86_GENERIC is not set
+CONFIG_X86_INTERNODE_CACHE_SHIFT=5
CONFIG_X86_L1_CACHE_SHIFT=5
CONFIG_X86_TSC=y
CONFIG_X86_USE_3DNOW=y
CONFIG_X86_USE_PPRO_CHECKSUM=y
+CONFIG_GPIOLIB=y