[PATCH 0/5] binman: Tidy up the location for bintools