Fixed a scheduler bug. PID 0 will never be wrongly waken up.