RE: [PATCH v6 06/15] tools/nolibc: __sysret: support syscalls who return a pointer