Re: [SeaBIOS] vgabios: more x86emu issues