diff --git a/target/linux/x86_64/config-default b/target/linux/x86_64/config-default
index 8b9bc04f66..d375086bfb 100644
--- a/target/linux/x86_64/config-default
+++ b/target/linux/x86_64/config-default
@@ -304,6 +304,7 @@ CONFIG_KVM_GUEST=y
 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
@@ -334,6 +335,7 @@ CONFIG_NLS=y
 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
@@ -342,6 +344,7 @@ CONFIG_PAGEFLAGS_EXTENDED=y
 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
@@ -391,8 +394,10 @@ CONFIG_SERIO_LIBPS2=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
@@ -460,7 +465,6 @@ CONFIG_VT_HW_CONSOLE_BINDING=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