xen: Fix event channel callback via INTX/GSI