[SeaBIOS] Re: [PATCH 1/5] ati-vga: make less verbose