[PATCH 4.4 75/75] xen/events: avoid handling the same event on two cpus at the same time