[SeaBIOS] [PATCH 11/20] vgabios: Introduce stdvga_get_crtc() and use it consistently.