replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers

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

kernel: Do not trigger breakpoint on kernel panic

This caused repeated exceptions in ARMv8.

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

kernel: Include logging.c in boot drivers

Also adapt armv8 init.c to provide arch_core_is_bsp as it needs to go somewhere not gdb_arch.c

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

kernel: Unify kernel logging infrastructure

Previously, it was part of the infamous misc.c file found in arch-specific
code.

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