rcu_sync: Cleanup the CONFIG_PROVE_RCU checks