efi_boot_kernel
status = efi_boot_kernel(handle, image, image_addr, cmdline_ptr);
efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image,
