[PATCH v2 07/13] tools/nolibc/select: avoid libgcc 64-bit multiplications