[coreboot-gerrit] Patch set updated for coreboot: 8d20b0c intel: Correct several MMIO related ACPI table settings