[PATCH 2/4] xen/events: switch user event channels to lateeoi model