[SeaBIOS] Re: [PATCH 7/9] stdvga: Rename stdvga_set_text_block_specifier() to stdvga_set_font_location()