[SeaBIOS] [PATCH 14/20] vgabios: Refactor vga_set_mode and stdvga_set_mode.