[PATCH 12/13] xen/events: defer eoi in case of excessive number of events