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