[coreboot] Re: Including a video BIOS