KVM: use the correct RCU API for PROVE_RCU=y