Re: [Kimchi-devel] [PATCH] Fix issue #591: Get the right arch for MockModel