[PATCH 2/5] cpuidle-haltpoll: Use arch_cpu_idle() to replace default_idle()