I have a Gigabyte GA-P55M-UD2, along with a Powercolor PCS+ HD5770 1GB, and the combo works perfectly for me. I did not have to edit the DSDT when I added the card. As far as HDMI is concerned, I must admit that I don't really know. I only have access to old CRT monitors, but I tested both DVI...