[SeaBIOS] [PATCH 04/20] vgabios: Use bochsvga_ prefix for bochs vga functions.