Por tudo o que você pode sofrer uma coisa semelhante, eu resolvi da seguinte forma.
Parece que a formatação do usb com FAT32
não é suficiente. Eu reformatei o usb com cfdisk
e observei as opções disponíveis. De todos eles,
perto da parte inferior, há uma que diz EFI...
, que também diz que é FAT 16/32...
. É esse que tem que selecionar e então tudo funciona (pelo menos para mim).