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.