vgabios: Rename vgaio.c to stdvga.c.