[PATCH v2 06/13] iommufd/viommu: Add iommufd_viommu_get_vdev_id helper