[for-next][PATCH 6/6] uprobes: Use synchronize_rcu() not synchronize_sched()