RE: [PATCH v4 03/12] iommu/vt-d: Add helper for nested domain allocation