Consegui resolver meu problema removendo nomodeset
da variável GRUB_CMD_LINE_LINUX_DEFAULT
em /etc/default/grub
e, em seguida, executando update-grub
. Não sei por que essa mudança fez alguma diferença, mas parece que não funciona mais para mim.