Sicuro che sia tutto li'? Un media UEFI compatibile deve avere minimo una directory EFI/BOOT/ con dentro un file bootx64.efi o bootx32.efi.
Li' non vedo niente del genere. Quindi l'unica possibilita' e' che stiano utilizzando una modalita' ibrida per il boot, cioe' usano isolinux per avviare il kernel con efistub incorporato. Poi magari l'installazione su hard disk sara' a norma, ma l'ISO di sicuro non lo e'.