Re: [PATCH v4 00/18] tools/nolibc: shrink arch support