Hello, @toleda!
I've been through hell this last week trying to enable HDMI audio for my hackintosh.
The problem is not simply that it doesn't work: instead, every time I boot with a tool that, if worked as expected, would enable HDMI audio, the computer can only boot in safe mode. If started...