remove HDMI hack for pulseaudio2.1, pulseaudio 5.0 works fine!