[OpenBIOS] r143 - in openbios-devel/arch: sparc32 sparc64