pub fn load_arm64_kernel<F>(
    guest_mem: &GuestMemory,
    kernel_start: GuestAddress,
    kernel_image: &mut F
) -> Result<LoadedKernel>
where F: FileReadWriteAtVolatile + FileGetLen,