[Y2038] [PATCH 05/19] y2038: make linux/compat_time.h usable on 32-bit