[x86] Clean up MAXSMP Kconfig, and limit NR_CPUS to 512