Re: [OpenBIOS] OpenBIOS fails to build on sparc32/64 hosts