RE: [PATCH 06/12] iommufd: IOMMU_HWPT_ALLOC allocation with user data