default or selected kernelversion does not have config value CONFIG_PROVE_LOCKING_SMALL.
Result is shown for kernelversion 6.4.14
CONFIG_PROVE_LOCKING_SMALL (not configurable)
configname: CONFIG_PROVE_LOCKING_SMALL
Linux Kernel Configuration
└─>Lock Debugging (spinlocks, mutexes, etc...)
└─>PROVE_LOCKING_SMALL