This only works with UEFI boot.
- Get a USB key and format it with a GPT partition table. Using
gptfdisk
something like this should do it:sgdisk -og /dev/sdX sgdisk -n 0:0:0 -t 0:ef00 /dev/sdX
Create a FAT32 partition, mount it and extract the ISO image to that location