rcu: Fix local_irq_disable() CONFIG_PROVE_RCU=y false positives