Re: Generating EFI files