Bem, isso é embaraçoso:
Meu sistema está usando o EFI e a configuração descrita no artigo vinculado é sobre sistemas BIOS legados.
Depois de trocar o caminho de inicialização com o caminho correto ( EFI/boot/bootx64.efi
), recebo mensagens de erro que podem ser lidas no Google.