Are you shure Mats? The Linux kernel has HPET_TIMER for ... over a year? ... now. And it's explained with:
Also I think wrapping is not a problem. HPET can be used as callback timer, so it calls functions (also userspace ones) at defined intervalsThis enables the use of the HPET for the kernel's internal timer. [...]