[PATCH v2 09/13] tools/nolibc: always use 64-bit time types