Fix stale jiffies update in tick_nohz_restart()