Re: [op-tee] Preparing for OP-TEE 3.9.0