[PATCH kernel-4.19 17/57] xen: Fix event channel callback via INTX/GSI