Comment 20 for bug 1239233

is there any reason to disable on board hda ?

Default sample spec: s16le 2ch 44100Hz
Default channel map: front-left,front-right
Default sink name: alsa_output.pci-0000_01_00.1.hdmi-stereo
Default source name: alsa_output.pci-0000_01_00.1.hdmi-stereo.monitor

Codec: ATI R6xx HDMI
Address: 0
AFG Function Id: 0x1 (unsol 0)
Vendor Id: 0x1002aa01
Subsystem Id: 0x00aa0100
Revision Id: 0x100000
No Modem Function Group found
Default PCM:
    rates [0x40]: 48000
    bits [0x2]: 16
    formats [0x1]: PCM

how about vlc using hdmi:0 directly instead of pulseaudio ?

http://www.videolan.org/doc/vlc-user-guide/en/ch02.html