Re: Clarification on dmesg output (re HDMI audio)
fluffylob, that's odd. The code that prints those two sets of data seems to operate on the exact same data-structure. I can't see any obvious bugs in the code in the random version of the kernel that I looked at.
I'd suggest asking on the alsa-users mailing list, since they have the most experience with the ALSA code.