[Stratos-dev] Re: [PATCH 1/2] xen: evtchn: Allow shared registration of IRQ handers