CONFIG_ALIX=y
# CONFIG_AMD_NB is not set
CONFIG_DMI=y
CONFIG_DMIID=y
# CONFIG_DMI_SYSFS is not set
CONFIG_DEBUG_BUGVERBOSE=y
# CONFIG_FB_GEODE is not set
CONFIG_GENERIC_GPIO=y
CONFIG_GPIOLIB=y
CONFIG_GPIO_SYSFS=y
# CONFIG_HIGHMEM64G is not set
CONFIG_HWMON=y
# CONFIG_HWMON_DEBUG_CHIP is not set
# CONFIG_M486 is not set
# CONFIG_MATH_EMULATION is not set
CONFIG_MGEODE_LX=y
CONFIG_PATA_CS5536=y
# CONFIG_PCIEPORTBUS is not set
CONFIG_PCSPKR_PLATFORM=y
# CONFIG_POWER_SUPPLY is not set
# CONFIG_SCx200 is not set
# CONFIG_SERIO_I8042 is not set
# CONFIG_SERIO_LIBPS2 is not set
# CONFIG_SERIO_SERPORT is not set
CONFIG_THERMAL_HWMON=y
# CONFIG_SENSORS_K10TEMP is not set
# CONFIG_SENSORS_VIA_CPUTEMP is not set
CONFIG_X86_DEBUGCTLMSR=y
