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_INTEL_MEI is not set
15 # CONFIG_LEDS_CLEVO_MAIL is not set
16 # CONFIG_M486 is not set
17 # CONFIG_MATH_EMULATION is not set
22 # CONFIG_SCx200 is not set
23 CONFIG_THERMAL_HWMON=y
25 CONFIG_X86_DEBUGCTLMSR=y
27 CONFIG_X86_USE_3DNOW=y
28 CONFIG_X86_USE_PPRO_CHECKSUM=y