[SeaBIOS] [PATCH 2/2] vgabios: Initial support for coreboot native vga vgabios.