nrf_axon_print_hex32_vector()

void nrf_axon_print_hex32_vector	(	const char *	name,
		const uint32_t *	vector_ptr,
		uint32_t	count,
		uint8_t	stride )

prints an int32 vector in hexidecimal.