Re: OP-TEE BTI support