[PATCH v2 14/15] tools/nolibc: fall back to sys_clock_gettime() in gettimeofday()