-CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-ecx -fcall-saved-edx"
-CONFIG_CPU_SUP_AMD=y
+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_HAVE_EARLY_RES=y
-CONFIG_HAVE_HW_BREAKPOINT=y
-CONFIG_HAVE_MIXED_BREAKPOINTS_REGS=y
-CONFIG_HAVE_OPTPROBES=y
-CONFIG_HAVE_PERF_EVENTS=y
-CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
-CONFIG_HAVE_USER_RETURN_NOTIFIER=y
+# CONFIG_HIGHMEM64G is not set
CONFIG_HWMON=y
# CONFIG_HWMON_DEBUG_CHIP is not set
-CONFIG_ILLEGAL_POINTER_VALUE=0
-CONFIG_INSTRUCTION_DECODER=y
-CONFIG_ISA_DMA_API=y
-CONFIG_K8_NB=y
-# CONFIG_LEDS_GPIO is not set
# CONFIG_M486 is not set
+# CONFIG_MATH_EMULATION is not set
CONFIG_MGEODE_LX=y
-CONFIG_GEODE_MFGPT_TIMER=y
-# CONFIG_NEED_DMA_MAP_STATE is not set
-CONFIG_NEED_SG_DMA_LENGTH=y
+CONFIG_PATA_CS5536=y
# CONFIG_PCIEPORTBUS is not set
CONFIG_PCSPKR_PLATFORM=y
-CONFIG_PERF_EVENTS=y
-CONFIG_PROCESSOR_SELECT=y
-CONFIG_SCSI_MOD=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_TINY_RCU is not set
-CONFIG_X86_CMOV=y
+# 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
-# CONFIG_X86_GENERIC is not set
-CONFIG_X86_INTERNODE_CACHE_SHIFT=5
-CONFIG_X86_L1_CACHE_SHIFT=5
-CONFIG_X86_TSC=y
-CONFIG_X86_USE_3DNOW=y
-CONFIG_X86_USE_PPRO_CHECKSUM=y
-# CONFIG_CS5535_CLOCK_EVENT_SRC is not set
-CONFIG_PATA_CS5536=y
-CONFIG_ALIX=y