[SeaBIOS] Re: [PATCH 3/4] vga: add atiext driver