[OpenBIOS] [commit] r1247 - in trunk/openbios-devel: arch/amd64 arch/x86 drivers