Depois de descobrir recentemente que o 14.04 também foi afetado, fiz mais algumas descobertas e descobri algumas coisas:
- A inicialização com
nomodeset
é a causa imediata do problema; Eu só fiz isso porque o laptop em questão não inicializava de outra forma. - A inicialização com
noacpi
resolveu o problema do vídeo, mas causou outros problemas. Em particular, apenas uma CPU foi detectada, quando duas (ou quatro com HyperThreading) seriam vistas de outra forma. - A inicialização com
acpi_osi=Linux acpi_backlight=vendor
corrigiu quase todos os problemas; a única questão remanescente era o ruído excessivo do ventilador. - A atualização para o BIOS mais recente disponível (em combinação com o marcador anterior) me deu uma solução completa.