rumpfiber runs on milliseconds, fix timedwait
Merge branch 'master' into schedcookie