Eu tenho um tablet ASUS ME176CX, que possui apenas suporte para inicialização EFI de 64 bits. Nenhuma opção legada. Mas existem drivers de dispositivo para Linux de 32 bits. Como faço para inicializar um sistema operacional Linux de 32 bits por meio do Grub de 64 bits no modo EFI?