default or selected kernelversion does not have config value CONFIG_HAVE_DEFAULT_NO_SPIN_MUTEXES.
Result is shown for kernelversion 5.4.69
CONFIG_HAVE_DEFAULT_NO_SPIN_MUTEXES (not configurable)
configname: CONFIG_HAVE_DEFAULT_NO_SPIN_MUTEXES
Linux Kernel Configuration
└─>HAVE_DEFAULT_NO_SPIN_MUTEXES