Re: [OpenBIOS] [PATCH] Fix build on ppc64le host