Patch "sched: Stop resched_cpu() from sending IPIs to offline CPUs" has been added to the 3.18-stable tree