O problema é como formatar a pendrive. Ao formatar como FAT32, não consigo copiar um ficheiro do ISO que é muito grande.
Tentei formatar como NTFS mas o PC não arrancou pela pen. Não sei se terá a ver com ser BIOS ou UEFI que é um conceito que não domino.