Execute o reparo de inicialização e marque a opção "Backup e renomeie os arquivos EFI do Windows".
O BIOS quer inicializar apenas o Windows e nada mais, porque (estou tirando uma licença poética) é realmente um BIOS tolo.
boot-repair irá renomear nosso EFI para enganar o BIOS.
A formatação do meu HD não funcionou porque a própria BIOS tinha algumas coisas aparentemente em backup. Pelo menos, é isso que eu entendo, posso estar errado na última parte.