[coreboot] VideoBios question