[OpenBIOS] Re: [fb-d] Mixing 16 and 32 bits code