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