Re: [SeaBIOS] [PATCH 5/4] Add geodevga_set_mode() function