kconfig: centralize the selection of semaphore debugging in lib/Kconfig.debug