Re: [PATCH v2 14/38] binman: Add support for bintools