Since moving to 4.0-rc1 when my screen goes off (energy saving), I lose the
hdmi audio, standard stuff. 
When I move the mouse I get the screen back but not the audio anymore.
Switching it back on with xrandr works.

Thanks