Hi all,Got a new laptop and installed wheezy a few weeks ago. I noticed the HDMI audio was not working, and figured it was a limitation in the fglrx driver and it seemed otherwise to run well. Starting yesterday, however, I have frequent but not consistent kernel panics during the boot process that seem to involve support for that feature. Sometimes it boots without any audio (there is another integrated audio device), sometimes with, sometimes it does not boot at all. Never had to debug something like this before so some pointers about how to go about it are appreciated! dmesg logs attached for occassions that it booted with audio and without audio.