Re: [PATCH 10/15] binman: Adjust naming for reading symbols