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.
