replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

SKB: Better error output for skb clients

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

ARMv7: Added arch-specific platform info.

Certain things, such as the number of CPUs, can only be probed easily (or at
all), in the kernel.

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

Added listfacts Program to print the contents of the SKB.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>