[PATCH OLK-6.6 185/525] xen/events: avoid using info_for_irq() in xen_send_IPI_one()