[OpenBIOS] OpenBIOS Sparc32 boot fix