[PATCH 4.15 047/128] sched: Stop resched_cpu() from sending IPIs to offline CPUs