[PATCH 4.9 31/63] uprobes: Use synchronize_rcu() not synchronize_sched()