CONFIG_LPC_ICH=y
# CONFIG_MACHZ_WDT is not set
# CONFIG_MATOM is not set
+# CONFIG_MAXSMP is not set
# CONFIG_MCORE2 is not set
# CONFIG_MEMORY_HOTPLUG is not set
# CONFIG_MEMTEST is not set
CONFIG_NO_BOOTMEM=y
CONFIG_NR_CPUS=8
# CONFIG_NTB is not set
+# CONFIG_NUMA is not set
CONFIG_NVRAM=y
CONFIG_OPROFILE_NMI_TIMER=y
# CONFIG_OPTIMIZE_INLINING is not set
CONFIG_PARAVIRT=y
CONFIG_PARAVIRT_CLOCK=y
# CONFIG_PARAVIRT_DEBUG is not set
+# CONFIG_PARAVIRT_SPINLOCKS is not set
# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
# CONFIG_PC87413_WDT is not set
CONFIG_PCI=y
CONFIG_SERIO_SERPORT=y
# CONFIG_SLAB is not set
CONFIG_SLUB=y
+CONFIG_SLUB_CPU_PARTIAL=y
CONFIG_SLUB_DEBUG=y
# CONFIG_SLUB_DEBUG_ON is not set
+CONFIG_SMP=y
# CONFIG_SMSC37B787_WDT is not set
# CONFIG_SMSC_SCH311X_WDT is not set
CONFIG_SPARSEMEM=y
CONFIG_WATCHDOG_CORE=y
CONFIG_X86=y
CONFIG_X86_64=y
-CONFIG_X86_64_SMP=y
# CONFIG_X86_ACPI_CPUFREQ is not set
# CONFIG_X86_CHECK_BIOS_CORRUPTION is not set
CONFIG_X86_CMOV=y