[SeaBIOS] [PATCH 03/20] vgabios: Rename vbe.c to bochsvga.c.