Fix things.

	modified:   kernel/sched.c
	modified:   kernel/sched_edf.c
Modify behavior when switching schedulers.

       If calling sched_setscheduler() with policy SCHED_EDF, sched_param
       should contains sched_priority set to timeout(deadline)
	modified:   kernel/sched.c