[SeaBIOS] Re: [PATCH] vga: fix cirrus bios