Re: Binman how to build using Rockchip BL32 binary as OP-TEE