fsl_hv_halt
pm_power_off = fsl_hv_halt;
ppc_md.halt = fsl_hv_halt;
void __noreturn fsl_hv_halt(void);