Re: [OpenBIOS] powerpc64