Re: [PATCH v1 0/8] tools/nolibc: add 32/64-bit powerpc support