// Kernel-loading responsibilities:
// - Load a Linux kernel Image into guest RAM at the boot offset
// - Compute the initial PC for the boot vCPU
// - Stage initrd into RAM if provided
//
// On aarch64 the Image format is just raw bytes at offset 0x80000;
// no ELF parsing needed.