switch_stack
switch_stack((void *)pmap_kextract((vm_offset_t)initstack_end),
void switch_stack(void *, void (*)(void *, void *, struct kexec_image *), void *);