Re: [OpenBIOS] [PATCH] ppc: fix stack usage in mmu_claim, mem_claim