[SeaBIOS] [PATCH 8/9] stdvga: Rename stdvga_set_scan_lines() to stdvga_set_character_height()