I tried simply creating the USB using the above ISO, and it did not work for me, but if I'm not mistaken this is due to there not being a /EFI/BOOT directory for the *.efi ? I'd really like to revive...