[PATCH v6 1/8] iommufd: Add data structure for Intel VT-d stage-1 domain allocation