[SeaBIOS] [PATCH 09/20] vgabios: Move vgafb_load_font to stdvga.c.