[PATCH 12/24] WIP: binman: Add support for OP-TEE