Re: [coreboot] [SeaBIOS] VideoBios question