update definitions for us_ticker_set_interrupt() across all platforms to use timestamp_t