sched/idle: Make the idle timer expire in hard interrupt context