I’ve searched for ways to make the HDMI audio work, through DSDT, VoodooHDA, individually installing audio kexts. Nothing has seemed to work so far, my hopes were on DSDT patching (Toleda’s HDMI audio editing), but I have noticed even though the HD4000 Toleda has specifies for socket 1155. CPU-Z...