[PATCH 3.16 126/328] uprobes: Use synchronize_rcu() not synchronize_sched()