Re: [TF-A] EHF + OPTEE on ARM64