Re: [OpenBIOS] ppc(64) debugging