sched/rt: small optimization to update_curr_rt()