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