arm: basic inmates demos

This patch adds the necessary libraries for writing simple inmates on arm,
and provides two demos.
It attempts to use the same layout as x86, and allows to set the devices
base addresses with platform-specific includes, in order to avoid
including kconfig.h

Only the vexpress platform with GICv2 and GICv3 is supported for the
moment.

Signed-off-by: Jean-Philippe Brucker <jean-philippe.brucker@arm.com>
arm: config examples

These config files are used to run the root cell (vexpress.c) and the
inmates examples (vexpress-*-demo) on the vexpress platform.
vexpress-linux-demo can be used to create a cell for an SMP linux on CPUs
2 and 3, by assigning it the UART3 IRQ.

Signed-off-by: Jean-Philippe Brucker <jean-philippe.brucker@arm.com>
arm: add a configuration for Odroid-XU
arm: exynos 5410 support

Just a bunch of ugly hacks to make it fit on an odroid-xu. Needs a proper
UART configuration.
driver: synchronise the CPUs before disabling

An IPI could be lost when a CPU is shutdown before it had time to
inject the IRQ that notifies other cores to disable the hypervisor.