Re: [OpenBIOS] Some encountered issues when compiling openbios on a ppc64 host