[OpenBIOS] sparc32 boot breakage on ppc host