[OpenBIOS] [commit] r1203 - trunk/openbios-devel/include/arch/amd64