[coreboot-gerrit] Patch set updated for coreboot: 12d93c8 haswell: Allow overriding PRE_GRAPHICS_DELAY in config