Files
linuxkit/tools/mkimage-iso-efi-initrd