Modify schedule() in thread.c
Passed tests for timer_sleep()