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