[PATCH v3 06/14] tools/nolibc/gettimeofday: avoid libgcc 64-bit divisions