foc-arndale: use same context area location

Currently, on the Arndale platform, core uses a different thread context
area base address than the other tasks (0x20000000 vs. 0x40000000). This
is problematic, because core calculates the location of the UTCB area of a
new thread relatively to core's own thread context area base. So, the UTCB
area of non-core threads ends up in a virtual address range which is
outside of the task's thread context area and not marked as used in the
task's RM session.

With this patch, the same thread context area base address gets used in
core and in the other tasks.

Fixes #779.
Add 'cpu_frequency' command to cli_monitor (fix #776)

This commit extends the Fiasco.OC specific extensions of the cli_monitor
to enable the user to interactively change or show current CPU frequency
Fix coding style in regulator interface (fix #777)
nova: fix page fault during core bootup

Fixes #781
Add regulators for EHCI controller on Arndale

Fix #780
Add platform_drv to relevant run-scripts (fix #778)
mmio: provide basic verbosity

The verbosity must be enabled at two levels: at compile time
via an enum that switches the availability of verbosity code
and via two members of 'Mmio' named '_read_verbose' and
'_write_verbose'. The latter are initialized to 0 (change this to
enable verbosity globally) and can be used to locally enable
(or disable) verbosity in deriving classes.

Ref #753
ahci & exynos5: use platform driver in AHCI test
ahci & exynos5: enable SSDs like Samsung 840 Pro

* Retry debouncing first with a higher trial time and if this also doesn't
  work with lower link speed additionaly.
* Ignore DevSlp feature because it isn't needed anyway as far as i can see.
* Relax some restrictions according the feedback of the drive as far as it
  seem to have no effect in Linux too

Fix #753
ahci & exynos5: basic recovery from NCQ errors

Fix little bugs in scatter/gather-list setup, FIS creation, and
command-slot creation of Exynos5 AHCI driver.
ahci & exynos5: driver internal benchmark

To raise expressiveness of the benchmark it dynamically adjusts the
transfer amount at any test to get a result that was measured
over a transfer time of 2000 ms at least and 2300 ms at a max.
ahci & exynos5: enable HDDs like Seagate Barracuda

Initialize and limit port speed to 3 Gbps in general because the Seagate
Barracuda 1TB throws much errors with 6 Gbps by now.

Try all port speeds from the highest to the lowest as long as debouncing fails
and try them all again in this order when falling back to slower debouncing.

Try to recover from all types of interface error.

When a port was recovered from an error during a NCQ command
get the last LBA that was accessed successfully and continue command from
this point.

Use a platform driver through the 'Regulator' service to do CMU and PMU config.

Switch off verbosity by default.
run: fix noux_net_netcat for most x86_32 platforms

native pistachio x86 is broken in general

arm fix still pending

Issue #782
run: add platform_drv to netperf run script
lwip: tweak foc_panda to netperf tcp >90MBit/s
run: print packets/s at end of netperf script
lwip: support send, recv timeouts
lwip: increase send performance for arndale USB2.0

Getting up to 91 Mbit out of a 100 Mbit card.
netperf: add support to timeout if host went away
run: add TCP_MAERTS to netperf test

MAERTS is STREAM backwards and effectively lets the netserver sends the packets
to the netperf client. So, TCP_STREAM measure the receive performance of the
lwIP stack on Genode and TCP_MAERTS the send performance of the lwIP stack
on Genode.