[PATCH 3.18 13/29] uprobes: Use synchronize_rcu() not synchronize_sched()