Re: [PATCH 11/15] binman: Add minor improvements to symbol-writing