Gostaria de instalar o Ubuntu em um antigo Acer Aspire Switch 10E. Ele suporta apenas arquivos EFI de 32 bits, mas sua CPU suporta sistemas de 64 bits. Portanto, preciso adicionar um arquivo EFI de 32 bits à pasta /EFI/boot no Ubuntu Live USB.
Todos os tutoriais que descrevem como fazer isso me dizem para "apenas copiar o arquivo para a pasta /EFI/boot". No entanto, desde o Ubuntu 20.04, o Ubuntu Live USB não é mais baseado em fat32 e, portanto, não é gravável.
Como posso adicionar este arquivo ao Ubuntu Live USB?