Re: [PATCH v3 4/5] stm32mp1: spl: Configure TrustZone controller for OP-TEE