Use the Eventchn module (exported by xen-unstable) rather than a duplicate Evtchn