Hey toleda,
thanks for shoving me in the right direction. Using AppleALC, WhateverGreen and Lilu, I got HDMI Audio to work thanks to one of your posts over at Insanelymac.com. I set the Audio_ID to 3 and – boom – HDMI audio is working now. Onboard audio isn't, but I don't need that, so I won't...