[Hafnium] Re: Hafnium with QEMU and OP-TEE