replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libbarrelfish: hide mapping cnodes behind #define

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

barrelfish: x86: pmap: refactor struct vnode.

This commit moves the common bits of struct vnode into struct vnode_public and
makes the first member of struct vnode a struct vnode_public.
All the x86-specific, and architecture independent, pmap implementation has
been updated to work with the new struct vnode layout.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

libbarrelfish: unified pmap: refactor slab refilling.

Move the slab refilling implementation to arch independent code and add
entry point for each pmap datastructure which refills all slab allocators.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

libbarrelfish: pmap: Move set_mapping_cap() to pmap_priv.h and use in x86_64.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

libbarrelfish: pmap: factor out slab refilling from x86_64 and aarch64

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>