x86/cpu: Allow higher NR_CPUS values