[OpenBIOS] x86 arch broken?