vbox: don't run shared folder test on qemu
vbox: support to disable acpi

Issue #1201
vbox: add network support

- support e1000 model by default and add support for pcnet model
- add Genode xml config option to enable network models

Fixes #1201
fixup "vbox: don't run shared folder test on qemu"

@alex-ab is this wording okay for you (and the checker mimic)?
hw: map a dataspace in core according to its flags

Thereby removing obsolete quirk for uncached CPU state dataspace
in VM session.

Fixes #1198
hw_imx31: fix compilation error in timer.h

fix #1200
hw: core as library

The build config for core is now provided through libraries to enable
implicit config composition through specifiers and thereby avoid
consideration of inappropriate targets.

fix #1199
nova: update to r6 nova kernel branch

- adds general support for semaphore timeouts
- fixes PCID feature (aka tagged TLB) seeen on Lenovo X201

Fixes #1211
timer: nova specific version of the service

Issue #1211
tcp_terminal: fix run script

Fixes #1210.
Fix race condition in page fault notification

When a page fault cannot be resolved, the GDB monitor can get a hint about
which thread faulted by evaluating the thread state object returned by
'Cpu_session::state()'. Unfortunately, with the current implementation,
the signal which informs GDB monitor about the page fault is sent before
the thread state object of the faulted thread has been updated, so it
can happen that the faulted thread cannot be determined immediately
after receiving the signal.

With this commit, the thread state gets updated before the signal is sent.

At least on base-nova it can also happen that the thread state is not
accessible yet after receiving the page fault notification. For this
reason, GDB monitor needs to retry its query until the state is
accessible.

Fixes #1206.
fixup: "nova: update to r6 nova kernel branch"

Issue #1211
Revert "timer: apply PIT quirk to avoid high cpu load"

This reverts commit edc03489b308dba055957813d296e56aa947a3a0.

Since commit

"timer: nova specific version of the service"

a nova specific timer is used and this quirk is not necessary anymore.

Issue #1211