FAT32 should be OK. With your USB key plugged, type "map -r" in EFI shell, what do you get?
For more information about EFI shell, see Server Products - Extensible Firmware Interface (EFI) basic instructions
FAT32 should be OK. With your USB key plugged, type "map -r" in EFI shell, what do you get?
For more information about EFI shell, see Server Products - Extensible Firmware Interface (EFI) basic instructions