sched: use highest_prio.next to optimize pull operations