[PATCH v4 2/3] xen/events: don't unmask an event channel when an eoi is pending