[PATCH 5.4 30/86] xen: Fix event channel callback via INTX/GSI