[OpenBIOS] [commit] r727 - in trunk/openbios-devel/arch: sparc32 sparc64 x86