[PATCH] ARM: machine_power_off should not return