intel-iommu: make domain_add_dev_info() call domain_context_mapping()