[OpenBIOS] [commit] r716 - trunk/openbios-devel/arch/sparc32