rcu: increase synchronize_sched_expedited() batching