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