hw_arndale: use core local timer in kernel

Ref #706
hw_arndale: userland timer driver

Ref #706
base-hw: flush cached zeroes in 'clear_ds(...)'

Ref #706
ahci_drv: separate PCI specifics from the rest

Ref #706
os: helper Attached_mmio

Genode::Attached_mmio is the fusion of Genode::Attached_io_mem_dataspace
and Genode::Mmio.

Ref #706
base: Mmio::wait_for(...) for whole registers

Ref #706
ahci_drv: basic support for exynos 5

This is a first version of the AHCI driver. It supports SATA HDDs
with UDMA-133 only, up to 6 Gbps and native command queueing.
The more blocks one transfers with one command, the higher is the
chance that the driver produces a fatal handshake error. Nevertheless
the driver is stable with one block per ATA command. Although NCQ is
used the driver doesn't queue multiple commands simultanously.

The driver was tested with a western digital HDD "WDC WD2500BEVS-08VAT1
13.01A13" (250 GB) with hw_arndale (run/ahci) and foc_arndale
(run/ahci, run/l4linux: dd). SSDs were not tested.

Fix #706
Update run scripts using usb_drv (fix #744)

Updates all run scripts, which use the usb_drv to enable the appropriated
USB host controllers.
hw: fully functional Thread_base::cancel_blocking

Thread_base::cancel_blocking brings a thread back to execution
from every state, except the thread is created but not started yet.

Fix #745
Implement LCD output and config parsing for omap4

Fixes #743
usb: Storage support for ARM
Window-resize support for liquid_fb

Related to #740.
liquid_fb: dynamic reconfiguration support

With this patch, 'liquid_framebuffer' can be reconfigured at runtime.
The configuration arguments are now provided as XML attributes, matching
those for 'nit_fb'. Furthermore, two new configuration options are added:

<config ...
  resize_handle="off" - show/hide a resize handle widget in the lower
                        right window corner
  decoration="on"     - show/hide window decoration
                        (title bar and borders)
/>

Fixes #740
Fixes #14