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