sched/nohz: Optimize get_nohz_timer_target()