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).