Move kernel_config to the top level and set hostname