Re: [OpenBIOS] [PATCH] ppc: make sure that we correctly map loader RAM at load-base