[PATCH 4.14 16/64] xen/events: Fix race in set_evtchn_to_irq