RE: [PATCH v3 3/4] iommufd: Add IOMMU_DEVICE_GET_HW_INFO