in the IDL files necessitated some refinements to the PIDL parser and code generator
kernel_space manager code and a bunch of other bits and bobs