https://bugs.freedesktop.org/show_bug.cgi?id=83226
--- Comment #17 from John john.ettedgui@gmail.com --- 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.