Re: [PATCH 02/13] xen/events: avoid removing an event channel while handling it