mach_reboot_fixups
extern void mach_reboot_fixups(void);
mach_reboot_fixups(); /* For board specific fixups */