timer: prefer TSC to HPET