[Hafnium] Re: Question about SMMU S-2 translation