Re: [PATCH v6 3/4] iommufd: Add IOMMU_GET_HW_INFO