add debug to kernel/sched/core.c