Re: [PATCH] xen/events: avoid NULL pointer dereference in evtchn_from_irq()