VLC and Radeon HDMI = crackly echoing audio (Precise)

Took me a while to find the report, so I’m taking over the terms in the title to point people to Bug #751265: pulseaudio distorts VLC audio.