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