Fix several bugs in the Cortex A9 drivers.

Avoid the use of deprecated 'MASK' enum in CPU register 'Asid'.

Enable the use of the 'K' bit in MMU translations.

Treat any try to modify existing valid entries in section- and
pagetables when doing 'insert_translation' as error.

Beautify concerned files.
Enhance specs that concern 'base-hw'.

Add specs for the PandaboardBoard A2 and according devices.

Refine axisting specs for Cortex A9 systems.
Extend RAM/CPU session for base-hw context-areas.
Adapt GDB monitor and Noux to CPU session changes
Extend create_builddir for the base-hw platforms.
Timer session and timer test for 'base-hw'.
Run Genode directly on hardware with 'base-hw'.
ACPI: Increase quota of PCI service

Some tests trigger memory exhaustions of the PCI-slave service used by the
ACPI-driver.
Base: New 'memcpy' implementation

Added CPU specific memcpy function ('memcpy_cpu'), which is tried first in
default 'memcpy'. Improved default 'memcpy' to copy eight byte chunks.
Nic: Added 'Nic::Packet_allocator'

This is a bitmap-range allocator that can be used in packet streams.
L4LX: Network interface fixes

Make calls using IPCs IRQ safe, handle packet exhaustion, removed
'Packet_pool', tweak TCP rmem and wmem buffer sizes to show better performance
results, use 'Net::Packet_allocator, fix 'update-patch' Makefile command
USB: Performance improvements

Added SKB bitmap allocator, use Nic::Packet_allocator in packet stream, use slab
allocators on top of back-end AVL allocator, split allocators in cached/uncached
for general purpose/DMA allocation, added patch to original code to distinguish
cached or uncached memory requests, take advantage of and implement TX bursts
(or SKB batching), call interrupt handlers until they return unhandled.
Nic_bridge: Use Nic::Packet_allocator

Calculate TX and RX dataspace sizes correctly.
L4Linux: make the l4lx library less verbose.
Fiasco.OC: hold irq-objects in core for resignment
L4Lx: downsize priority of multi-linux instances
Noux: fix setup of child environment

Fixes #315.
Increase quota of USB driver

The additional quota is needed because of the recent performance
optimizations of the USB/networking code, e.g., to support the
increased NIC packet-stream buffer size.
Add a bit array and bit allocator, issue #247

Add a allocator using bit maps to maintain used/unused caps.
It supports the allocation of 2^n aligned caps solely and
freeing of caps.

Fixes #247
NOVA: use translate feature of kernel, issue #268

Kernel patch:
Introduce a transfer item type to express that a cap should be translated
and if this fails to map it instead.

It would be possible without this combined transfer item type however
with additional overhead. In this case Genode/NOVA would
have to map and translate all caps used as parameter in IPC. It would look
like this:
* If the map and translation succeed, the cap at the new cap index
  would have to be revoked. Then the translated cap index can be used.
* If the map succeeds and the translation fails then the mapped cap index
  can be used.
* It would become complicated when multiple caps are mapped and translated
  and only some of the translation succeed. In such cases Genode would have
  to figure out the right relation of translated/mapped and not
  translated/mapped caps. It would require to make some assumption about the
  order how translated/mapped caps are reported at the UTCB by the kernel.
All the points above lead to the decision to create a separate transfer item
type for that.

Genode:
Most the times the translation succeeds, mapping of caps happens either
seldom. This takes now a bit the pressure of not enough aligned receive
cap windows as described in issue #247.

The patch mainly adds adjustments to handle the
translated and mapped caps correctly especially during freeing of the
receive window (don't free translated cap indexes).

Fixes #268