[coreboot] EDID versus VBT, and their cooperation/relationship?!