sched/deadline: speed up SCHED_DEADLINE pushes with a push-heap