[PATCH 4.4 04/31] xen/events: Fix race in set_evtchn_to_irq