[Linux-stable-mirror] [PATCH V1 1/1] iommu: Make sure device's ID array elements are unique