Re: [SeaBIOS] vga bios woes