[PATCH v2 11/13] tools/nolibc: sys_gettimeofday: add pure 64bit gettimeofday