xen/events: remove the unused resend_irq_on_evtchn()