Primeiro, Envie um relatório de bug. Certifique-se de incluir informações detalhadas sobre o seu computador, incluindo informações de firmware (obtidas em as primeiras linhas de dmesg
output, na maioria dos casos) e a marca e modelo exato do seu computador.
Em segundo lugar, até que o bug seja corrigido, talvez seja necessário usar outra coisa. Infelizmente, AFAIK efibootmgr
é para o Linux, mas você pode usar algo como bcfg
em um shell EFI. (Veja aqui para algumas informações básicas sobre bcfg
.)