vgabios: Use standard VGA IO wrapper functions in stdvga.c.