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