[PATCH 4.9 77/78] xen/events: dont unmask an event channel when an eoi is pending