kernel - Refactor machdep.cpu_idle_hlt