[PATCH 1/8] iommu/vt-d: clean up 32bit si_domain assignment