Re: OP-TEE queries