2 # CONFIG_CHARGER_SMB347 is not set
3 CONFIG_DEBUG_BUGVERBOSE=y
6 # CONFIG_DMI_SYSFS is not set
8 # CONFIG_GEOS is not set
10 # CONFIG_GPIO_ICH is not set
12 # CONFIG_HIGHMEM64G is not set
14 # CONFIG_LEDS_CLEVO_MAIL is not set
15 # CONFIG_M486 is not set
16 # CONFIG_MATH_EMULATION is not set
21 # CONFIG_SCx200 is not set
22 CONFIG_THERMAL_HWMON=y
24 CONFIG_X86_DEBUGCTLMSR=y
26 CONFIG_X86_USE_3DNOW=y
27 CONFIG_X86_USE_PPRO_CHECKSUM=y