[PATCH v2 05/13] tools/nolibc: prefer explicit 64-bit time-related system calls