kexec_do_reboot
bcopy(kexec_do_reboot, image->md_image, kexec_do_reboot_size);
(vm_offset_t)&kexec_saved_image - (vm_offset_t)&kexec_do_reboot),
extern void kexec_do_reboot(void);