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