default or selected kernelversion does not have config value CONFIG_X86_BIGSMP.
Result is shown for kernelversion 6.9.9
Support for big SMP systems with more than 8 CPUs
modulename: bigsmp_32.ko
configname: CONFIG_X86_BIGSMP
Linux Kernel Configuration
└─>Processor type and features
└─>Support for big SMP systems with more than 8 CPUs
In linux kernel since version 2.6.12
This option is needed for the systems that have more than 8 CPUs.