sched/deadline: Avoid double-accounting in case of missed deadlines