[coreboot-gerrit] Patch set updated for coreboot: f113d88 intel/eagleheights/Kconfig: Do not set twice MMCONF_BASE_ADDRESS