[PATCH v3 07/14] tools/nolibc/select: avoid libgcc 64-bit multiplications