[Trusted-services] Re: How to run trusted services under Hafnium, without OP-TEE