Start receiver thread in LwIP after initialization

Otherwise the receiver thread might access variables not initialized properly,
and thereby raising pagefaults.

Fixes #802
base-hw: preserve symbolic link bin/core

In this case "mv A B" works slightly different than "cp A B; rm A" as
symbolic links come into play. The statements should copy the contents
of A into the symboliv link at B (preserving it as is) and remove A. The
mv would replace the link B by the binary A.

Fixes #805.
base-foc: Improve documentation of capability enums

Fixes #568
base-hw: use generic signal_session/connection.h

base-hw extended the signal quota in a specific connection
implementation, which just conceals other issues if quota upgrade is
triggered.

Fixes #410.
run-tool: unify building of u-boot image (fix #807)
run-tool: be more failure tolerant in spawn_serial

Fixes #809
run: zero pad hello.py to succeed on OKL4

Fixes #804.
usb_drv: Remove wait events for Nic

'alloc_skb' might now fail, the Nic component will then send a 'packet
available' signal and return. Fix broken SKB list implementation as well as
completely bogus initialization of SKBs.

Related to #778.
Cortex A15: temporarily remove -mcpu switch again

Make compiler stop complaining about every compilation unit.

Fixes #810.
base: activate Rpc_entrypoint explicitly in dtor

The Rpc_exit call is delivered via RPC which results in a deadlock
if the Rpc_entrypoint has not been started yet. To prevent this
situation we active the Rpc_entrypoint explicitly before we call
Rpc_exit.

Fixes #811.
pistachio: return kip structure from get_kip

to avoid lot of unnecessary casts afterwards

Issue #798
pistachio: exclude io memory from ram allocator

Fixes #798
run: dump output of noux_net_netcat

Issue #742
seoul: split vancouver run script into smaller ones

Issue #806
seoul: implement heap_free

Avoids the message

cxx: operator delete (void *) called - not implemented. A working implementation is available in the 'stdcxx' library

during a " new ..." which causes exceptions. Happens for seoul in disk.cc

Issue #806
seoul: catch exception during block session creation

Leads to invalid utcb state and later on to invalid vCPU state.

Issue #806
seoul: use utcb guard

Forgetting to restore the old utcb content results in hard to debug bugs.
Save only the amount of word items which are actually on the UTCB.

Issue #806
seoul: fix console output in vga text mode

Issue #806
seoul: fix disc boot

Additionally use the block session interface asynchronously to let the VM
continue execution.

Fixes #806
Round up RM session size to page granularity

Since RM sessions can be used as dataspaces and dataspace sizes are
supposed to have page granularity, RM session sizes should have page
granularity, too.

Fixes #799.