The kernel timer on RPI is able to measure time microseconds-precise. Howeer, due to a bug, we dropped precision during the ticks-to-time translation and return only milliseconds-precise time. Ref #2400