Meu problema foi finalmente resolvido depois de aplicar as atualizações mais recentes do Ubuntu alguns dias atrás. Não consigo obter nenhum número de versão para dizer qual atualização estou executando. Se alguém tiver sugestões sobre como obter isso, terei prazer em publicar essa informação também.
Antes de aplicar as atualizações, eu havia tentado mais uma opção: adicionando nomodeset
ao script de inicialização do Grub, como descrito aqui . Isso não me ajudou embora. Agora eu não sei se é uma combinação de ambos que funciona, mas eu não quero brincar para descobrir, como você pode imaginar!
Espero que isso ajude os outros também.