replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Extended latency benchmarks to actually do something useful
The ethernet latency benchmark now does a statically configured number
of runs and then calculates some values on the result. Also net_latency
now runs the benchmark on each core for a start. But since spawn_exit
seems to be broken somehow on other cores than 0, we just sleep a bit
and then spawn the next one. :-/
---
lib/net_queue_manager/Hakefile | 3 +-
lib/net_queue_manager/ethernet_latency_benchmark.c | 54 +++++++++++++---
usr/bench/net_latency/Hakefile | 2 +-
usr/bench/net_latency/main.c | 28 +++++---
usr/bench/net_latency/sleep.c | 68 ++++++++++++++++++++
usr/bench/net_latency/sleep.h | 16 +++++
usr/drivers/e10k/Hakefile | 2 +-
7 files changed, 150 insertions(+), 23 deletions(-)
create mode 100644 usr/bench/net_latency/sleep.c
create mode 100644 usr/bench/net_latency/sleep.h