"This kext creates HPET device in ioreg, so you dont need(if you need) to edit DSDT to get it.
Originaly I created this kext for myself, because if HPET was enabled in DSDT then my pci wifi device was loosing interrupt and wasnt working, so this kext is workaround for it.
You can use it if you want to get HPET device in ioreg and are lazy to edit DSDT" netkas.org

as i stated earlier the guys from ASUS put or removed something in the newer BIOS (221, 222), i dont have a DSDT patch therefore i use this kext.

cheers

---

MSI P5Q / C2D E8400 @ 3.0 Ghz / 8GB DDR2 800Mhz / PCIe ECS 9600GT 1Gb / ALC1200 / Windows 7 / OS X 10.8
ASUS K50IN (SX004L) / C2D T6400 @ 2.0 Ghz / 4GB DDR2 800Mhz / nVidia G102M 512Mb / 15.6" HD/LED / ALC662 / Dell 1490 802.11g / Windows 7 / OS X 10.8