[timers] use uint32_t for get_time_from_boot functions and uint64_t for ticks_from_boot function
[msp430f5529] minimal 'systick' support