[OpenBIOS] x86 ISA binding for open firmware