Re: [PATCH 2/6] stm32mp: Add OP-TEE support in bsec driver