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