[PATCH] kernel/sched.c: whitespace cleanups