Re: [OpenBIOS] [PATCH] fix ppc native build