HDMI audio

I haven't been able to get HDMI audio on my Dell Precision M4700, at least in Linux. It works fine in Windows so I know it's capable from the hardware perspective. I had been running Fedora for the past two years or so, but this week I moved to Linux Mint. Same difference. I've researched it before,  it appears that I need a kernel module. I read on the Alsa website that I don't need a new kernel. But it isn't clear what I need to do after that. Admittedly I haven't done any thorough reading yet, but I know I already have a hda_intel module, it just doesn't seem to have everything it needs, and I'm not sure where to get the rest.
...
Well, I did a little more reading. The driver is the 92HD93 HDA driver. I went to Dell's website, and they listed IDT as the manufacturer of the driver. Their website led me to Tempo Semiconductor, and their page with the drivers actually referenced the ALSA Project page. But it said if the driver wasn't there (it wasn't) to contact them at their email address, so I did. We'll see what happens.