mac_poweroff
extern void mac_poweroff(void);
mach_halt = mac_poweroff;
register_platform_power_off(mac_poweroff);