Re: [Kimchi-devel] [PATCH V4] [Ginger-Base 0/1] Issue 728 - Processor Info in s390 architecture