intel-iommu: Fix double lock in get_domain_for_dev()