Bug#978550: pulseaudio: Pulseaudio do not detect HDMI output anymore after monitor power cycle

[Thomas Nemeth]

Workaround for now : in a terminal execute `pulseaudio -k -D` and it will 
rescan and detect the HDMI output.