Re: Preparing for OP-TEE 3.13.0