CONFIG_NR_CPUS=1024 for Fedora kernels since a while, I'm not
If you look in /boot you can find the config file used for each kernel.
The issue may be
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.