Choose not to modify setscheduler
	modified:   kernel/sched.c