[PATCH 0/2] tools/nolibc: add x32 support