Re: [Kimchi-devel] [PATCH] Setting default memory of PPC to 2048