[SeaBIOS] [PATCH 10/10] vgabios: Move stdvga_set_mode() to stdvgamodes.c.