[Linux-stable-mirror] [PATCH 4.14 138/146] nohz: Prevent a timer interrupt storm in tick_nohz_stop_sched_tick()