File xen-arch-kconfig-nr_cpus.patch of Package xen.8389
--- xen-4.7.0-testing/xen/arch/Kconfig.orig 2016-11-02 09:45:22.827366951 -0600 +++ xen-4.7.0-testing/xen/arch/Kconfig 2016-11-02 09:45:43.107366773 -0600 @@ -2,7 +2,7 @@ config NR_CPUS int "Maximum number of physical CPUs" range 1 4095 - default "256" if X86 + default "1024" if X86 default "128" if ARM ---help--- Specifies the maximum number of physical CPUs which Xen will support.