xen/xen-arch-kconfig-nr_cpus.patch