Re: [PATCH v1 04/10] iommufd/viommu: Allow drivers to control vdev_id lifecycle