Re: [OpenBIOS] powerpc64 (was: starting)