transition PRIntX types to intX_t to maintain compatibility with current Gecko SDK