Fix bug.
	modified:   kernel/sched.c