Re: [RFC] SMC yielding Trusted OS call discrepancies