Comment # 17 on bug 83226 from John

I'm not sure if it is because of these patches, or 4.0-rc1 (I moved the 2 of
them together), but now when my screen goes off (energy saving stuff), I lose
the hdmi audio, but when I move the mouse the screen is back but not the audio.
Switching it back on with xrandr works though.