1 # CONFIG_ATA_PIIX is not set
4 # CONFIG_DMI_SYSFS is not set
9 # CONFIG_HIGHMEM64G is not set
11 # CONFIG_ISDN is not set
12 # CONFIG_LEDS_CLEVO_MAIL is not set
13 # CONFIG_M486 is not set
14 # CONFIG_MATH_EMULATION is not set
19 # CONFIG_SCx200 is not set
20 CONFIG_THERMAL_HWMON=y
22 CONFIG_X86_DEBUGCTLMSR=y
24 CONFIG_X86_USE_3DNOW=y
25 CONFIG_X86_USE_PPRO_CHECKSUM=y