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