Eu costumo usar o meio de instalação do Arch Linux para obter um shell UEFI (eu usaria v2 para que você possa usar o bcfg): link . Basta inicializar nesse disco e selecionar o shell UEFI v2.
Em seguida, você executaria os seguintes comandos:
Shell> bcfg boot dump -v
Shell> bcfg boot rm <number of the one you want to remove>
Para mais informações sobre o bcfg, o Wiki do Arch tem alguns: link
Espero que isso ajude.
EDIT: Como a iso do Arch Linux não funciona, aqui estão alguns passos para fazer isso com um simples pen drive USB.
- Como o shell em sua forma atual é o problema (precisa ser recompilado), eu o recompilei para você e você pode baixá-lo aqui: link
- Formate um pendrive em FAT32 e verifique se não há arquivos nele.
- Crie o diretório
boot/efi
no pendrive. - Mova o arquivo
shellx64_v2.efi
para a pastaefi
que você criou no pendrive USB e renomeie parashellx64.efi
. - Reinicialize o sistema e ele deve estar em suas opções de inicialização, como se você estivesse inicializando um disco de instalação.