fixup: "vbox: join emt and vcpu handler thread"
fixup: "libc: don't take alien thread for main pthread"
fixup "vmm: parameterize Vcpu_dispatcher"