Change-Id: Ib6b81403f877c363a286c654e0524fa1cb781b80
. all invocations were S or D, so can safely be dropped to prepare for the segmentless world . still assign D to the SCP_SEG field in the message to make previous kernels usable
This interface can be used by other system processes by means of the newly provided vbox API in libsys.