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
In linux kernel since version 2.6.30 (release Date: 2009-06-09)