[OpenBIOS] Mixing 16 and 32 bits code