[SeaBIOS] [PATCH 1/2] vgabios: Rename stdvga_bpp_factor to stdvga_vram_ratio.