fix SYNJITSU debug info
linux guest startup time test
fixes
Merge commit '37d01c4'
Merge branch 'master' of https://github.com/magnuss/mirage-bench

Conflicts:
	test-jitsu/before_first_test_remote