Re: OP-TEE 3.12.0 has been released