Re: [coreboot] SeaBIOS not running vga rom