core: sched.c did not compile with DEBUG=1