Re: [OpenBIOS] x86 ISA binding for open firmware