[PATCH 4.14 49/89] uprobes: Use synchronize_rcu() not synchronize_sched()