How to use elapsed_time().count()

Hello Jon,

All I need, as before, is a global readable uint64_t containing microseconds since boot.

I would suggest to use the method recommended by Johannes (@JoJoS) in this thread:

Kernel::Clock::now();

Best regards, Zoltan