rcu: Remove one layer of abstraction from PROVE_RCU checking