Eu instalei o Debian junto com o Windows 10.
O problema é que o Windows 10 foi primeiro criptografado pela VeraCrypt e, após a instalação, o GRUB mostra o Windows EFI loader. Eu deveria modificá-lo para apontar para o carregador VeraCrypt novamente.
Eu verifiquei o caminho do arquivo para os carregadores EFI:
Windows: \ EFI \ MICROSOFT \ BOOT \ BOOTMGFW.EFI
VeraCrypt: \ EFI \ VERACRYPT \ DCSBOOT.EFI
Como reconfigurar o GRUB para apontar para o carregador VeraCrypt em vez do Windows loader?