Re: [coreboot] SeaBIOS VGA ROM