[PATCH] stop_machine() vs. synchronous IPI send deadlock