[SeaBIOS] [PATCH 13/20] vgabios: Change vga_set_mode() to directly setup BDA.