Re: [OpenBIOS] ppc64 MMU issues