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

[Thomas Nemeth]

   I forgot to mention it clearly : the HDMI output sink isn't detected
   anymore _after_ the  power has been *set back to ON*, of course. I
   did not try to have HDMI output while the monitor was off ;)