[Hafnium] Re: How to boot OPTEE(s) on Hafnium?