iommu/vt-d: Save the right domain ID used by hardware