[SeaBIOS] [PATCH] vga: fix cirrus bios