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
noux: upgrade RM session for client (fix #1138)
fixup: "noux: upgrade RM session for client"

* turn linux-specific RM session client into a RM session capability,
  so a session can implicitly used as capability argument
fixup: "Merge libc_vfs plugin into libc"

* avoid construction of Config object in noux programs, as it contains
  capabilities
hw: make Processor_client::_processor protected

ref #1126
hw: turn Cortex_a9::Processor_driver into a class

ref #1126