Add debugging info

	modified:   kernel/sched.c