portability fixes

changes system_tick_t to explicitly be an uint32_t to match the
system_tick_t defined in spark_firmware_driver/inc/hw_config.h