handle_kernel_image
status = handle_kernel_image(&image_addr, &image_size,
efi_status_t handle_kernel_image(unsigned long *image_addr,