Optimise process wakeup
Further optimisation to _sched_event