Update notes for submitted changes

* iommu/core: pass a user-provided token to fault handlers