[OpenBIOS] [commit] r1017 - trunk/openbios-devel/arch/x86