[PATCH kernel-4.19 118/120] xen/events: don't unmask an event channel when an eoi is pending