arms: unifying interrupts, timers and platform data

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

ARM: move the *_map.h files into /include/maps/

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv7: Added coreboot for Zynq7000 - doesn't work yet.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: Added arch-specific platform info.

Certain things, such as the number of CPUs, can only be probed easily (or at
all), in the kernel.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

armv7: make compile on Ubuntu 14.04 (GCC 4.8.2)

* add __attribute__((noreturn)) for stuff in kernel/armv7 that calls panic().
* add missing return statement in lib/multiboot.
* Update README with needed freebsd-glue and libelf-freebsd-dev packages for
arm_boot
* cleanup format strings in arm_boot/arm_bootimage.c
* fix compileNativeC to put linker flags after source file in
hake/RuleDefs.hs

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

ZYNQ: Kernel boots as far as trying to spawn init.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: First prototype of a new bootloader for simulators

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ZYNQ: Clock tree probing.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Zynq: Serial console is up

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Zynq: initial image builds.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>