timers/nohz: Remove pointless tick_nohz_kick_tick() function