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