[PATCH 4.9 09/43] xen/events: Fix race in set_evtchn_to_irq