Re: [Tee-dev] Preparing for OP-TEE 3.9.0