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