fix cv_timedwait
Merge branch 'master' of https://github.com/anttikantee/rumpuser-xen