I'm using patched DSDT + AD1988.fix.kext to get the audio on my P5K-E working. So far I have audio, but sometimes its skipping, which is really strange to me. This causes some
"IOHIDSystem::relativePointerEventGated: VBL too high (24135221), capping to 20000000" messages to appear in the kernel log. In the DSDT I have the USB, RTC/HPET fixes too.

Has anyone experienced such problems or is there a know fix?