replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Made PL011 device file conform to specification r1p5

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

ARMv7: Rewrote serial drivers on ARM.

They're now fairly well compartmentalised on both ARM and x86, and can start
automatically from Kaluga. There's also a 'kernel' serial driver, which uses
the syscall interface to read and write on the kernel console. This avoids
having user level and kernel code racing on access to the UART. Fish works
(minus line editing) on all Versatile Express platforms.

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

Fixed more inconsistent device names, this time for ARM.

--HG--
rename : devices/arm_icp_pic.dev => devices/arm_icp_pic0.dev

Initial version of public stable barrelfish repository.