Changes to support building a TCL-5.x based Microkernel

With the changes in this pull request, we can now successfully build a
TCL-5.x-based Microkernel. This new Microkernel includes a revised
Microkernel Controller framework (and associated services) that is
designed to run under an updated Ruby (v2.0.0).