procfs: avoid 32-bit time_t in /proc/*/stat