I really wouldn't remove the irq from RTC in your dsdt, as this will cause problems with clocks, graphics, mouse tracking etc.

This fix is only needed for enabling hpet on intel boards, not Nvidia/AMD afaik

You'll find your system is alot smoother when you retain the orignal irq assignment on the RTC device

Thanks for your gfx0 section, it worked on an old agp board!!

Cheers,

LS