xen/evtchn: use smp barriers for user event ring