Go through the scheduler code with Baiqin. Redecide some place. Hope it goes well.
	modified:   kernel/sched.c
	modified:   kernel/sched_edf.c
Merge branch 'dev-hw3' of github.com:3Legs/w4118 into dev-hw3