[PATCH 4.19 22/84] xen/events: Fix race in set_evtchn_to_irq