Por acaso, eu poderia consertar isso sozinho. Os parâmetros de comando "-o 0,80", como escrito em muitos tutoriais na rede, simplesmente não funcionam e o irritante efibootmgr não reclama nem um segundo sobre isso.
O comando correto é
sudo efibootmgr -o 0000,0080
Assim tudo funciona bem.