fix corrupt sysvipc timestamps on 32-bit archs with old kernels