Continuei procurando. Eu encontrei uma sugestão para remover "splash" de / etc / default / grub, mas isso não estava lá. Tentei adicionar "quieto" e isso não ajudou.
No final, a linha
GRUB_CMDLINE_LINUX_DEFAULT="nomodeset"
Permitiu que o sistema inicializasse como antes. Embora essa seja uma solução alternativa, ainda gostaria de ver uma solução adequada.