550db6795e9b ("alpha/cpu: Make sure arch_cpu_idle_dead() doesn't return")