[SeaBIOS] [PATCH 05/20] vgabios: Rename vga.c to vgabios.c.