replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
armv8: initial Raspberry Pi 3 support Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>