Re: [PATCH 0/7] xen/events: bug fixes and some diagnostic aids