unikernel.ml and config.ml cleaned up.