[Hafnium] Hafnium with QEMU and OP-TEE