Eu tentei muitas coisas, mas não o nomodeset
e adivinhe? Funciona. Qualquer outra pessoa que tenha o mesmo problema pode seguir as instruções aqui:
Basicamente, a instrução estava adicionando a opção nomodeset
à /etc/default/grub
files GRUB_CMDLINE_LINUX_DEFAULT
key. Assim
GRUB_DEFAULT=0
#GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR='lsb_release -i -s 2> /dev/null || echo Debian'
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash nomodeset"
GRUB_CMDLINE_LINUX=""
e funcionou muito bem. O tempo de inicialização é um pouco mais longo, mas não há erros EDID.