[PATCH v3 00/14] tools/nolibc: always use 64-bit time-related types