[OpenBIOS] [PATCH] Fix build on ppc64le host