Updating Hanlon-Microkernel to TCL-5.x based kernel

This pull request includes the changes needed to build a Microkernel based on the last (TCL-5.x based) version of TinyCore Linux instead of the older (TCL-4.x based) version that we have used previously. This should provide support for newer hardware due to the significantly newer Linux kernel (v3.8.13) that is used for the latest version of TCL (the 4.x versions we were using previously were based on a much older version of the Linux kernel, v3.0.21).

Along the way, we also added support for gathering of IPMI-related meta-data to the Microkernel controller and made changes to the way the bundle build process works (adding two new flags that can be used to bundle in additional extensions or kernel modules from the local filesystem (local to where the `build-bundle-file.sh` script is being run from). This lets users include custom kernel module packages or extensions that they have built themselves that might not be available through the standard TinyCore Linux extension repository.

Finally, this pull request includes a few bug fixes. Included in fixes for an issue in how the SMBIOS UUID was reported back to Hanlon on some hardware platforms (we switched from gathering this value using `lshw` to gathering the same value using `dmidecode` in the Microkernel because the `dmidecode` utility did not exhibit he same bug as the `lshw` utility) and a bug in the script used to start the Microkernel's `udhcpc` DHCP client (which resulted in the default gateway never being set, limiting access from the Microkernel to just the Hanlon subnet, regardless of the routing rules defined elsewhere in the network).

With these changes in place, we should have a much newer, more usable, and more easily customizable Hanlon-Microkernel...