fixup "libc: don't take alien thread for main pthread"

/plain/krishna/src/genode/genode.git/libports/src/lib/pthread/thread.cc:463:48: required from here
/plain/krishna/src/genode/genode.git/base/include/util/misc_math.h:20:47: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
fixup "run: limit created threads in test"
ahci: enable simple test on x86_64

Related to #1133.
fixup: "vbox: join emt and vcpu handler thread"
fixup: "libc: don't take alien thread for main pthread"
fixup "vmm: parameterize Vcpu_dispatcher"
libc: move mem alloc definition in header file

Prerequisite to fix Issue #1130, to be able to reinstantiate the libc
memory allocator several times if wanted.
vbox: use separate memory spaces

Use the libc Mem_alloc implementation per MMTYP of virtualbox. With this the
invariant that all memory allocation of a MMTYP are dense located.

Fixes #1130
Generic sleep_forever() based on lock

The old implementation of sleep_forever() used a local Ipc_server
object, which is not announced (i.e., known) outside of the blocking
process/thread, to infinitely wait for incoming messages. In past and
present, this leads to problems (e.g., issues #538 and #1032).

Fixes #1135.
Fixes #538.
Fixes #1032.
fixup hw: map core on demand

* order of thread start like in generic code
fixup: hw: map core on demand

* fix broken TLB maintainance list handling
fixup "vmm: parameterize Vcpu_dispatcher"