fixed 664653 2.0-3 thanks As I reported earlier, version 2.0 of pulseaudio can handle multiple HDMI outputs. Bug# 664653 is completely fixed. I've tested it successfully in my computer.