[roland35]

There may be a lot of embedded systems affected though! Most embedded C uses 32 bit integers, especially for the Real Time Clock peripherals!

[ncmncm]

But what self-respecting embedded-system coder would use a signed 32-bit value?

Various libc choices in use probably have time_t signed.