[SeaBIOS] [PATCH 07/20] vgabios: Rename vgaio.c to stdvga.c.