diff --git a/third_party/linux/kconfig-x86_64 b/third_party/linux/kconfig-x86_64
index 6452083..7901b68 100644
--- a/third_party/linux/kconfig-x86_64
+++ b/third_party/linux/kconfig-x86_64
@@ -47,6 +47,7 @@
 CONFIG_XEN_PVH=y
 # CONFIG_XEN_DOM0 is not set
 CONFIG_MCORE2=y
+CONFIG_NR_CPUS=512
 CONFIG_PERF_EVENTS_AMD_BRS=y
 # CONFIG_X86_IOPL_IOPERM is not set
 # CONFIG_X86_5LEVEL is not set