Re: [PATCH v3 05/12] binman: Add support for ATF BL31