[Bug 1074820] New: Pulseaudio delays sound compared to activity on screen when using sound via HDMI