armv8: Fix dependencies for building images

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

Added documentation for ARMv8 booting

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

kernel/logging: Change default log level to LOG_NOTE

The previous default was LOG_DEBUG with an incorrect level check on the
kernel debug macro.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

armv8: adding explicit notion of caller-save and callee save registers

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

armv8: adding general purpose registers to the documentation

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

Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

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

ARMv8 report formatting fixups.

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

ARMv8 report is content complete.

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

ARMv8 report S4.1 (user-space threading)

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

ARMv8 report looking good up to S3.1

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

ARMv8 tech report

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