Following this request, the developers of the x32 ABI changed the time values to 64-bit.
根据这一要求，x32 ABI的开发者将时间值变为了64位。