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 "Generic sleep_forever() based on lock"
fixup "hw: map core on demand"

* fix broken TLB maintainance list handling
fixup "vmm: parameterize Vcpu_dispatcher"
nova: avoid fault during core thread fault dump
fixup "Generic sleep_forever() based on lock"
fixup: "hw: map core on demand"

ensure '_cpu_session' pointer is set appropriately before dereferncing pointer
like it's done in generic thread code.
part_blk test: increase failing timeout
ports: simple file system test running in noux

By running one of these run scripts a user-defined shell script will
be executed within in noux, which conducts the defined file systems
tests for given File_system_session based file system.
ports: add fs test script using rump_cgd + rump_fs
dde_rump: rump_iso compare output on 64bit systems