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