[coreboot-gerrit] Patch merged into coreboot/master: b2893a0 Provide support for setting up the framebuffer from EDID