[PATCH 4.9 70/78] xen/events: switch user event channels to lateeoi model