[PATCH v2 11/14] xen/events: switch user event channels to lateeoi model