rcu: Make synchronize_rcu_expedited() use sequence-counter scheme