rcu: Provide rcu_batches_completed_sched() for TINY_RCU