The problem seems to occur some time after the computer comes out of hibernation. If I turn off or restart the machine, the HDMI sound output remains normal.
- Bug#1051211: pulseaudio: Pulseaudio loses HDMI output from time to... Marcelo
- Bug#1051211: Complement Marcelo
