rcu: shrink rcutiny by making synchronize_rcu_bh() be inline