Breakthrough: HDMI audio works using Debian's kernel (3.10-3-amd64, from linux-image-3.10-3-amd64_3.10.11-1_amd64.deb). So it is some regression introduced after v3.10.
Breakthrough: HDMI audio works using Debian's kernel (3.10-3-amd64, from linux-image- 3.10-3- amd64_3. 10.11-1_ amd64.deb) . So it is some regression introduced after v3.10.