Mk size reduction

This is the result of a couple of hours poking at how to reduce the size of the Microkernel image.  The net result is ~ 30MB shaved off the network size, and a non-trivial memory saving in the final runtime image.

It also cleans up the build process a touch, and fixes the MK Fedora version at 19.