Re: [OpenBIOS] x86 arch broken?