[PATCH 4.4 24/47] uprobes: Use synchronize_rcu() not synchronize_sched()