Re: [coreboot] Status of SeaBIOS VGA bios.