[u-boot PATCH v2] binman: Add support for TEE BL32