onelab-4.2 to use kernel from trunk - tagged version fails on x86_64 with: