[PATCH kernel-4.19 119/120] xen/events: avoid handling the same event on two cpus at the same time