Re: [SeaBIOS] [PATCH 6/4] Make use of geodevga_set_mode()