Comment 43 for bug 1169761

Thanks ThomasNovin.

I did the following from your link. Downloaded:
hari@hari-PORTEGE-R835:~/Desktop$ ls -lt *.deb
-rw-rw-r-- 1 hari hari 31013124 Apr 22 13:50 linux-image-extra-3.8.8-030808-generic_3.8.8-030808.201304170248_i386.deb
-rw-rw-r-- 1 hari hari 13022298 Apr 22 13:50 linux-image-3.8.8-030808-generic_3.8.8-030808.201304170248_i386.deb
-rw-rw-r-- 1 hari hari 973744 Apr 22 13:50 linux-headers-3.8.8-030808-generic_3.8.8-030808.201304170248_i386.deb

sudo dpkg -i *.deb
sudo upgrade-grub

There was an error about linuxheader 3.8.8-030808
However, HDMI audio worked.
update-manager wanted to remove it. When I allowed the "Partial Upgrade" it did remove whatever was offending.
I did that and re-booted.
No more error from update-manager.
hari@hari-PORTEGE-R835:~/Desktop$ uname -a
Linux hari-PORTEGE-R835 3.8.8-030808-generic #201304170248 SMP Wed Apr 17 06:58:01 UTC 2013 i686 i686 i686 GNU/Linux
HDMI audio is fine.

hari@hari-PORTEGE-R835:~/Desktop$ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: PCH [HDA Intel PCH], device 0: ALC269VB Analog [ALC269VB Analog]
  Subdevices: 1/1
  Subdevice #0: subdevice #0
card 0: PCH [HDA Intel PCH], device 3: HDMI 0 [HDMI 0]
  Subdevices: 1/1
  Subdevice #0: subdevice #0

Hope I did the right thing. I should also thank Mike Loebl. When is 3.9 going to make it to Ubuntu?