Unbreak iso_efi by feeding it a kernel that exists.