[OpenBIOS] ppc64 boot issues