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