Originally Posted by artbio
That's OK. You should check the IRQ table inside the operating system. If you are using Microsoft Windows go to the the Device Manager available in the Control Panel. If the IRQ table is the same as in the BIOS you should go back to BIOS control. Check within BIOS if there is something related to APIC (Advanced Programmable Interrupt Controller). Enable it if it is disabled. Its the OS IRQ table you should worry about.
I hope this helps!
Thanks, finally tried this today and indeed the IRQ sharing works fine in Windows
Sound via HDMI also works fine and CPU utilization is very low
cesaredb, BurkoCRO; Sorry I don't know how to modify your DSDT table to make it work.
wilford; Going by memory now but I think the "Single Link Arch Bios" of a MSI BIOS is the "main" BIOS, you need to extract the DSDT table out of it somehow... (Like Artibo's first post describes for Award BIOS'es)