Hi, I get that the difference between the timer and the high speed timer on the nanoPi board board is the precision of a given timing result. Question: Is there some performance overhead in using the High speed variant? (could we always use it with no perf penalty in comparison with the normal timer?) Thanks