[Hafnium] Re: SMMU Configuration