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