Re: [PATCH 4/7] binman: Add support for ATF BL31