[SeaBIOS] [PATCH 11/15] vgabios: Make VBE code independent of bochsvga.