I don't know what happened on my hack. Earlier today I had HDMI audio with Clover. Have had it working for the last month or so. Restarted the computer, no more HDMI Audio. And I haven't changed anything, no updates or anything. Worked, then restarted, and hasn't worked since.