[PATCH 10/13] xen/events: switch user event channels to lateeoi model