[PATCH v2 06/13] tools/nolibc/gettimeofday: avoid libgcc 64-bit divisions