The encoding of the microkernel object identifier fields is something that only the microkernel needs to know. Change-Id: I3701760cdce5768e082b6d2432b75382f5a2f557 Signed-off-by: Allan Stephens <allan.stephens@windriver.com>