[PATCH v4 00/12] tools/nolibc: add 32/64-bit powerpc support