Misconceptions about timers (HPET, TSC, PMT...)