Re: [PATCH v4 2/8] binman: allow user-defined filenames for mkimage entry