Fix a pointer mismatch when int32_t is not int, for example on Cortex-M where in32_t is long int. Fix #4530 Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
