vgabios: Rename vga.c to vgabios.c.