vgabios: Introduce stdvga_get_crtc() and use it consistently.