[Hafnium] Question about SMMU S-2 translation