I recently noticed that the HPET is not detected by the Linux Kernel. I'm using an Asus A8V Deluxe with a VIA VT8237 Chipset which supports HPET. Apparently ASUS forgot to add a HPET ACPI table. There should be a way to detect the HPET without an ACPI HPET table.
Maybe there should, but there isn't. What's the point of this bug? Do you want to submit a patch for for this?
This was discussed on LKML already a couple of times. HPET must be enabled by the BIOS and there is no sensible way to enable it by poking in some chipset registers. Also power saving modes might break, if it is enabled and not supported by the BIOS.
Without BIOS enablement, the HPET is not accessible to linux. Please contact your BIOS vendor for an update to enable HPET. Closing this as invalid.