Have you enabled ACPI in the BIOS and kernel config? AFAIK, HPET timers, need some backup timers, for HPET to be enabled.