Fix synchronize_rcu