[PATCH] small kernel/sched.c cleanup