OK, então depois de um tempo (longo) eu descobri o problema:
Em grub
, alterar a configuração para incluir GRUB_GFXPAYLOAD_LINUX=keep
e GRUB_GFXMODE=1920X1080
pareceu resolver meu problema
Eu estou supondo aqui que GRUB_GFXPAYLOAD_LINUX=keep
é o que realmente faz a diferença, já que configurá-lo como algo diferente de keep
(por exemplo, uma resolução como 1920x1080
) me daria a tela de inicialização de texto substituto.