replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

newlib: build scc/arm/xscale

- mostly format changes
- some argument changes

bfdmuxtools: construct filters with %u not %d format strings

... I had a problem where filter compilation was failing on a negative
number. Since all integers are parsed with strtoul or strtoumax, I
believe the only sane thing to do is generate them all with %u.

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.