Hi @toleda, sometimes I can get my HDMI audio work. It seems the driver detected the wrong DP/HDMI output in my case.
If I boot up my hackintosh with DP connected, there is no DP/HDMI audio output. But if I switch to use a HDMI cable without restart, I can get HDMI audio work.
And if I boot up...