[PATCH 08/10] cpuidle, OMAP4: Push RCU-idle into driver