I recently bought an ATI HD3650 graphics card with an integrated High Definition Audio Controller for HDMI for my Abit AN7. However the AN7 BIOS didn't had an IRQ for additional devices on the AGP bus, and audio over HDMI wasn't working. So I ended up hacking the ACPI table to fix this. And here it is:
I would post the URL, but I am not allowed. Admins please help.
Click on AQUI...
All the BIOS files have this fixed ACPI table. And all the OC 1T and 2T files are still there.
Note: I deleted the old version files from the server.