modprobe evtchn 2>/dev/null || modprobe xen-evtchn