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>

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

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