Re: [Kimchi-devel] [PATCH 1/5] Update kimchi.config values according to command line input