[PATCH v4 02/14] iommufd/fault: Add an iommufd_fault_init() helper