namespacecheck: fixes in kernel/sched.c