Re: Preparing for OP-TEE 4.0.0