Re: [PATCH v3 1/9] xen/events: avoid removing an event channel while handling it