Re: [PATCH v2 00/38] binman: Add support for bintools and missing tools