ARM: 6428/1: add cpu_idle_wait() to support CPUidle on SMP systems.