RE: [PATCH 12/14] iommufd: Add IOMMU_HWPT_ALLOC