useful for log messages with 64 bit timestamps
this gives a common printf implementation on all boards, which simplifies testing, and also simplifies porting to new boards