[PATCH 10/12] tools/nolibc: always use 64-bit time types