[PATCH 04/10] cpuidle, psci: Push RCU-idle into driver