Let the tacho driver use the built-in hires timer