[PATCH 0/2] tools/nolibc: support for 32-bit s390