[PATCH] rcu: add a prefetch() in rcu_do_batch()