Re: [OpenBIOS] ppc64 MMU issues (was: ppc(64) debugging)