1 # CONFIG_ATA_PIIX is not set
2 CONFIG_DEBUG_BUGVERBOSE=y
5 # CONFIG_GPIO_F7188X is not set
6 # CONFIG_GPIO_INTEL_MID is not set
8 # CONFIG_HIGHMEM64G is not set
10 # CONFIG_ISDN is not set
11 # CONFIG_KEYBOARD_GPIO is not set
12 # CONFIG_M486 is not set
13 # CONFIG_MATH_EMULATION is not set
16 # CONFIG_SCx200 is not set
17 CONFIG_THERMAL_HWMON=y
19 CONFIG_X86_DEBUGCTLMSR=y
21 CONFIG_X86_USE_3DNOW=y
22 CONFIG_X86_USE_PPRO_CHECKSUM=y