replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

newlib,x86_32: use int32_t (and not int) for message callbacks

Newlib's definition of int32_t (which is used by flounder backend for int)
created compiling problems. Note that in principle different CPUs may have a
different representation of int.

Initial version of public stable barrelfish repository.