[C/R v20][PATCH 34/96] c/r: infrastructure for shared objects

[Oren Laadan]

The state of shared objects is saved once. On the first encounter, the
state is dumped and the object is assigned a unique identifier (objref)
and also stored in a hash table (indexed by its physical kernel address).