[PATCH v5 01/11] iommufd: Add data structure for Intel VT-d stage-1 domain allocation