[PATCH 08/12] tools/nolibc: gettimeofday(): avoid libgcc 64-bit divisions