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