Comment # 18 on bug 83226 from Alex Deucher

(In reply to John from comment #17)
> 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.

Not likely related.  Please file a separate bug for that.