Re: [OpenBIOS] ppc64 boot issues