sched: scheduler debugging, enable in Kconfig