Em primeiro lugar, não encontrei o motivo. Mas eu encontrei uma solução que é ok para mim. Eu iniciei o shell EFI e digitei fs0 com fs0:
O shell EFI agora solicita algo como fs0\ >
via cd EFI
e cd debian
Eu consegui encontrar um arquivo chamado grubx64.efi
. Eu executei o arquivo digitando grubx64.efi
e ele iniciou o sistema, mostrou-me o GRUB2 onde eu poderia selecionar minha instalação do Debian. Ele inicializa completamente normal e com sudo grub-install
e sudo update-grub
consegui restaurar o registro EFI de alguma forma quebrado. Após a reinicialização, o dispositivo C se comporta exatamente como o dispositivo B e A.