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