cpuidle-haltpoll: Replace default_idle() with arch_cpu_idle()