[SeaBIOS] [PATCH] stdvga: Add stdvga_set_vertical_size() helper function