Fixes to simplify the Hanlon Server configuration file

[tjmcs]

This pull-request contains changes required to support the changes in https://github.com/csc/Hanlon/pull/8; specifically

• it includes changes to a how a number of Microkernel configuration parameters are handled in order to account for how those parameters have been redefined in the pull request mentioned, above
• it includes changes that ensure that the values for some parameters that used to be passed through to the Microkernel from the Hanlon server but that are now determined dynamically during the Microkernel Controller initialization process are preserved throughout the lifetime of the Microkernel (until it is booted or shutdown), regardless of any new configuration files that might be sent to the Microkernel by the Hanlon server.

As was mentioned above, this pull-request should be merged simultaneously with the changes in the corresponding Hanlon pull request so that a Microkernel that works with that Hanlon server version can be constructed by users (without the changes in this pull request, the Microkernel will never initialize properly)

[fsiddiqi]

This looks consistent with Hanlon config file changes

+1