-CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-ecx -fcall-saved-edx"
+CONFIG_PROCESSOR_SELECT=y
CONFIG_CPU_SUP_AMD=y
-CONFIG_DEBUG_BUGVERBOSE=y
-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_DEBUG_BUGVERBOSE=y
CONFIG_HAVE_PERF_EVENTS=y
-CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
-CONFIG_HAVE_USER_RETURN_NOTIFIER=y
+CONFIG_GENERIC_GPIO=y
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_MGEODE_LX=y
-CONFIG_GEODE_MFGPT_TIMER=y
-# CONFIG_NEED_DMA_MAP_STATE is not set
-CONFIG_NEED_SG_DMA_LENGTH=y
+# CONFIG_MOUSE_PS2 is not set
# CONFIG_PCIEPORTBUS is not set
CONFIG_PCSPKR_PLATFORM=y
-CONFIG_PERF_EVENTS=y
-CONFIG_PROCESSOR_SELECT=y
-CONFIG_SCSI_MOD=y
# 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_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