Add patch to allow NR_CPUS=1024 on x86_64
The way the kconfig is structured, you either have a range from 2-512 CPUs
if SMP is set and MAXSMP is not set, or you get the default value of 4096
as soon as you set MAXSMP. Increase the range to 1024 in the !MAXSMP case.