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.