0cd4b50b12d9 ("srcu: Yet more detail for srcu_readers_active_idx_check() comments")