armv7: To support domain spanning, use different vregion per core

This should fix the proc_mgmt_test on armv7

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

armv7: fixing calculations of required slabs for mappings

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

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libbarrelfish: actually free mapping cap slots when not using mapping cnodes

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

libbarrelfish: hide mapping cnodes behind #define

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

libbarrelfish: armv7: pmap: use explicit mapping cnodes for non-root vnode mappings

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

pmap: naming unification

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>