rcu: Drive PROVE_RCU directly off of PROVE_LOCKING