Bufgix: Kernel does not set cap owner for pt mapping

kernel/arch/armv8/paging.c

@@ -627,6 +627,10 @@ errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot,
         return err;
     }
 
+    // NOTE rueegges: The capability owner for page table mappings is never set so we do it here
+    //                otherwise unmap does not work on cores with id > 0
+    mapping_cte->mdbnode.owner = my_core_id;
+
     /* insert mapping cap into mdb */
     err = mdb_insert(mapping_cte);
     if (err_is_fail(err)) {