Re: [OpenBIOS] OpenBIOS and ppc64?