CONFIG_NR_CPUS=1024 for Fedora kernels since a while, I'm not
sure how
long.
If you look in /boot you can find the config file used for each kernel.
The issue may be
CONFIG_NR_CPUS_DEFAULT=64
The larger Intel servers exceed that number by quite a bit.
--
Q: Why do programmers confuse Halloween and Christmas?
A: Because OCT 31 == DEC 25.