[PATCH 4.4 56/64] xen/events: switch user event channels to lateeoi model