(In reply to comment #23)
> (In reply to comment #22)
> > Bad news. On 3.12rc2 those patches don't work anymore. Same problem like at
> > starting this crq. HDMI audio seems to be totally disabled...
> 
> In 3.12 you can enable audio on the fly with xrandr.  E.g.,
> 
> xrandr --output HDMI-0 --set audio auto

Perfect, that did the trick.
So everything is working like a charm with those both patches.
Thanks for your good and fast work!