[SeaBIOS] [PATCH 5/9] stdvga: Rename stdvga_toggle_intensity() to stdvga_set_palette_blinking()