libbarrelfish: x86: pmap: serialise/deserialise: handle mapping caps.
libbarrelfish: x86: pmap: serialise/deserialise: handle mapping caps.

For the vnodes which we serialise (no leaf mappings), we now copy the mapping
capabilities into the page cnode during serialisation, and back into the
respective mapping cap cnode when deserialising.

Signed-off-by: Simon Gerber <13ba2e9de9ead0ea0b5f47504fb3a80bb9b1ee3b@inf.ethz.ch>

BarrelfishOS/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish