Re: [PATCH 01/12] binman: elf: Check for ELF_TOOLS availability and remove extra semicolon