2 CONFIG_DEBUG_BUGVERBOSE=y
5 CONFIG_DMI_SCAN_MACHINE_NON_EFI_FALLBACK=y
6 # CONFIG_DMI_SYSFS is not set
7 # CONFIG_GEOS is not set
10 # CONFIG_GPIO_F7188X is not set
11 # CONFIG_GPIO_INTEL_MID is not set
13 # CONFIG_HIGHMEM64G is not set
15 # CONFIG_KEYBOARD_GPIO is not set
16 # CONFIG_LEDS_CLEVO_MAIL is not set
17 # CONFIG_M486 is not set
18 # CONFIG_MATH_EMULATION is not set
23 # CONFIG_SCx200 is not set
24 CONFIG_THERMAL_HWMON=y
26 CONFIG_X86_DEBUGCTLMSR=y
28 CONFIG_X86_USE_3DNOW=y
29 CONFIG_X86_USE_PPRO_CHECKSUM=y