cpuidle, OMAP3: Use WFI for omap3_pm_idle()