[PATCH 4.18 079/145] uprobes: Use synchronize_rcu() not synchronize_sched()