use uint32_t for timestamp type on avr