Uma solução mais simples foi encontrada aqui: link
Uma partição EFI pode ser criada via GParted Live CD / USB
- Crie 200MB de drive (todo meu espaço livre no começo):
- Tipo:
fat32
- Etiqueta:
EFI
- Tipo:
- Formatar
- Definir sinalizadores de inicialização (opção disponível somente após a formatação) para
"boot, esp"
Pronto!Apósessa