Overflow for int is undefined in C, change to u32_t where it is defined. Signed-off-by: Christoph Reiter <christoph.reiter@infineon.com>