diff --git a/config/linux.config b/config/linux.config
index 93dcfe51..4729ab7c 100644
--- a/config/linux.config
+++ b/config/linux.config
@@ -473,7 +473,7 @@ CONFIG_PHYSICAL_ALIGN=0x1000000
 CONFIG_LEGACY_VSYSCALL_EMULATE=y
 # CONFIG_LEGACY_VSYSCALL_NONE is not set
 CONFIG_CMDLINE_BOOL=y
-CONFIG_CMDLINE="earlyprintk=serial,ttyS0,115200 console=ttyS0,115200n8 nosmp"
+CONFIG_CMDLINE="earlyprintk=serial,ttyS0,115200 console=ttyS0,115200n8 pci=realloc"
 # CONFIG_CMDLINE_OVERRIDE is not set
 # CONFIG_MODIFY_LDT_SYSCALL is not set
 CONFIG_HAVE_LIVEPATCH=y