I have a laptop with an ati radeon 4200, on 12.04 everything worked fine, since upgrading to 12.10 I cannot get sound over the hdmi. When I switch to hdmi audio the video speeds up to about 2x. I can use the speakers in my laptop and watch video via hdmi with no problems.

Things I have tried:

• Various tutorials to install the AMD/ATI drivers, all of which resulted in low graphics mode.
• Checked that everything is properly set in alsamixer, the sound utility and - installed pavucontrol and checked everything in there.
• Verified the output from cat /proc/asound/cards looks normal

When I initially upgraded there was a plethora of problems which I believe were due to the old proprietary driver still being used but not compatible, after a few hours trying to fix that I decided just to back up and do a fresh install which works great except for the above stated problem. Any help would be greatly appreciated!!

Finally hopefully this hasn't already been answered, I have tried a few different searches on the boards and haven't come up with anything.

$ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: SB [HDA ATI SB], device 0: ALC269VB Analog [ALC269VB Analog]
 Subdevices: 1/1
 Subdevice #0: subdevice #0
card 1: HDMI [HDA ATI HDMI], device 3: HDMI 0 [HDMI 0]
 Subdevices: 0/1
 Subdevice #0: subdevice #0