[Modified] Pintos Project 1.1 Alarm-Clock : thread_wakeup () function move to timer_interrupt () function