This bug is fixed in PulseAudio 9.0, but Ubuntu 16.04 is using PulseAudio 8.0. I tried to backport the fix here:

https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/1641954

You may find already built packages here:

https://launchpad.net/~cristiklein/+archive/ubuntu/ppa/+index?field.series_filter=xenial

Can you check if this fixes the issue for you?


On 26 Dec 2016 17:14, <bugzilla-daemon@freedesktop.org> wrote:
Chris Nicolai changed bug 93946
What Removed Added
Resolution FIXED ---
Status RESOLVED REOPENED

Comment # 65 on bug 93946 from Chris Nicolai
Definitely NOT resolved, because HDMI audio stops working every time the HDMI
display resolution changes. This is especially problematic for SuperTuxKart,
which changes resolution automatically at launch. There is currently no way to
play fullscreen SuperTuxKart through HDMI and also hear the sound.

On a fresh, up-to-date installation of Ubuntu 16.04, on a Thinkpad T420 via
DisplayPort -> HDMI, using the gnome-shell desktop.


You are receiving this mail because:
  • You are on the CC list for the bug.