x86/Kconfig: Further simplify the NR_CPUS config