Re: [coreboot] [SeaBIOS] Status of SeaBIOS VGA bios.