Re: [Kimchi-devel] [PATCH] bug fix: Allow kimchi runs in multiple platforms