[coreboot] Patch merged into coreboot/master: 21efd8c haswell: fix ACPI MCFG table