Re: [PATCH 06/11] stm32mp1: dynamically detect op-tee presence