[SeaBIOS] [PATCH 5/5] bochsvga: build bios variant for isa-vga.