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