[PATCH 0/4] stm32mp: fix boot issue with OP-TEE