replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

devices/acpi_ec_mem: ARM has ACPI but communicates using memory instead of an IO port.

This device is a precise copy of acpi_ec but uses MMIO to communicate
with the EC.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>