i.MX53 support

Was: 'imx53_support.patch'
JBD: Increase name buffer to 32K

Increase the size of the JDB kernel object names buffer. The original size was
too small for some Genode scenarios and caused missing thread names in the
kernel debugger thread list.

Was: 'jdb_kobject_names.patch'
Fiasco.OC: fix io-port fault answer in sigma0

In sigma0 normally no answer tag to a request/fault is created. It
simply uses the message tag received with the request. This doesn't work out
when I/O ports are requested. This patch constructs an appropriate answer tag.
Moreover, we have to enable I/O port protection in the kernel configuration.

Was: 'sigma0_ioport.patch'
Sigma0: raise sigma0's priority to maximum.

When sigma0 runs on a lower priority than the rest of the threads in the system
it might come to the point that while answering a page fault or I/O memory area
request the timeslice of the caller (core-pager) gets fully consumed. As long as
other threads are still executable and don't block sigma0 won't do progress
anymore, because it runs at the lowest priority.  This commit simply sets
sigma0's priority to the highest in the system.

Was: 'sigma0_prio.patch'
L4RE: Add Arndale platform
L4RE: Arndale boostraping finished
FOC: Make PandaBoard compile

Fix multiple definition of 'init_errata_workarounds'
FOC: Arndale bootstrapping

Added 'exynos5' bsp, enabled MMU and UART, disabled caches.
FOC: Arndale single core support

Stage2, GIC, timer, UART, FPU running on single core.
FOC: Basic Arndale multi-core support

Second CPU is up and receives timer interrupts. Caches are still disabled.
FOC: Enable caches