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