I have got problem with audio (Audio device: Intel Corporation 6 Series/C200 Series Chipset Family High Definition Audio Controller as lspci says) on my laptop hp probook 4530s with Ubuntu 13.04 and kernel 3.8.0-19.
Sometimes it stops working (not during work, before loging), reboot usually helps but it is annoying and next time again there won't be sound. Audio settings shows only "dummy output". Dmesg says interesting thing: http://pastebin.com/vUfq7xpP
Had anyone similar problem?
Intel Corporation 6 Series/C200 Series Chipset Family High Definition Audio Controller (rev 05)
and I have been using 64bit 13.04 since it was in beta, I have had no sound issues on it, i have not checked HDMI audio thought, you may want to try reinstallingpulseaudio
or using a mainline kernel – GM-Script-Writer-62850 Apr 28 '13 at 21:37