pub unsafe fn boot_kernel( kernel: &KernelImage, boot_params: *mut LinuxBootParams, system_table: *mut (), image_handle: *mut (), kernel_loaded_addr: *mut u8, ) -> !