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