// right magic value),\r
// return EFI_NOT_FOUND if there was no kernel in the boot.img.\r
// Note that the Ramdisk is optional - *Ramdisk won't be touched if it isn't\r
// right magic value),\r
// return EFI_NOT_FOUND if there was no kernel in the boot.img.\r
// Note that the Ramdisk is optional - *Ramdisk won't be touched if it isn't\r