9e57f049d157 ("mips/cpu: Mark play_dead() __noreturn")