kernel - Change cpu_idle_hlt default