nrf_axon_print_int32_vector()

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

prints an int32 vector in decimal.