Corrigido.
Estou usando um laptop com NVIDIA Optimus com saída HDMI aparentemente conectada à placa NVIDIA, mas não à placa Intel.
Meu sistema tinha drivers para placas Intel e NVIDIA.
Depois que eu desinstalei os drivers da Intel de limpeza (junto com o material do bumblebee), consegui prime-switch
na placa NVIDIA. Após duas reinicializações, a saída HDMI reapareceu.