sched: optimize task_tick_rt() a bit