716ff71ae234 ("cpuidle-haltpoll: Replace default_idle() with arch_cpu_idle()")