[PATCH 07/10] cpuidle, armada: Push RCU-idle into driver