fixup "vbox: update to virtualbox 4.3.16"
fixup "base: memory barriers in lock implementations"
Revert "[TEMPORARY] use known working download mirror - fau.de seems to have issues today"

It seems ftp.fau.de was fixed...

This reverts commit 59030f3927ce3968601beca66ab74f3317b2a21d.
fixup "vbox: update to virtualbox 4.3.16"

re-enable network support for 4.3.16

Issue #1296
dde_linux: remove bogus semicolon
ddekit: remove sleep_forever in dde_kit_debug

The way this function is currently used in dde_linux expects this
function to return. Since there is dde_kit_panic it should better
be used in such a case the output should block.
dde_linux: clean up usb patches
dde_linux: clean up lxip patches
dde_linux: remove base cxx dep from usb.inc
dde_linux: remove base cxx from lxip.mk
wifi_drv: Port of the Linux wireless stack
q5: 'QTime::currentTime()' fix

Fixes #1298
fixup "vbox: update to virtualbox 4.3.16"
hw_arndale: consider timer resets

On Arndale, the kernel timer resets to the initial value of the last
count-down and continues as soon as it reaches zero. We must check this
via the interrupt status when we read out the timer value and in case
return 0 instead of the real value.

fix #1299
ldso: Disallow recursive initialization

Do not support the global construction from of objects from within a global
constructor of another object. This can happen if, for example, dlopen is called
from a global constructor. The construction will be post-boned until the current
constructor has finished.
fixup "wifi_drv: Port of the Linux wireless stack"
dde_oss: use dde_kit_timer_ticks

The Linux-specific 'jiffies' symbol was removed from dde_kit in 35239b8.

Fixes #1302.
thread API & CPU session: accounting of CPU quota

In the init configuration one can configure the donation of CPU time via
'resource' tags that have the attribute 'name' set to "CPU" and the
attribute 'quantum' set to the percentage of CPU quota that init shall
donate. The pattern is the same as when donating RAM quota.

! <start name="test">
!   <resource name="CPU" quantum="75"/>
! </start>

This would cause init to try donating 75% of its CPU quota to the child
"test".  Init and core do not preserve CPU quota for their own
requirements by default as it is done with RAM quota.

The CPU quota that a process owns can be applied through the thread
constructor. The constructor has been enhanced by an argument that
indicates the percentage of the programs CPU quota that shall be granted
to the new thread. So 'Thread(33, "test")' would cause the backing CPU
session to try to grant 33% of the programs CPU quota to the thread
"test". By now, the CPU quota of a thread can't be altered after
construction. Constructing a thread with CPU quota 0 doesn't mean the
thread gets never scheduled but that the thread has no guaranty to receive
CPU time. Such threads have to live with excess CPU time.

Threads that already existed in the official repositories of Genode were
adapted in the way that they receive a quota of 0.

This commit also provides a run test 'cpu_quota' in base-hw (the only
kernel that applies the CPU-quota scheme currently). The test basically
runs three threads with different physical CPU quota. The threads simply
count for 30 seconds each and the test then checks wether the counter
values relate to the CPU-quota distribution.

fix #1275
fixup "thread API & CPU session: accounting of CPU quota"
Fix handling of cache attribute with RAM

Adapt drivers for Exynos5 and PandaBoard to cache attribute changes in
786fe80.

Fixes #1301.