[PATCH v2 09/13] tools/nolibc: sys_select: add pure 64bit select