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