Re: [SeaBIOS] [PATCH 1/3] vga: simplify vga builds