Re: [Aarch64-laptops] [PATCH 1/2] iommu: add support for drivers that manage iommu explicitly