I'll get .efi added to the attachments. How big a file you think is reasonable?