[coreboot-gerrit] Patch merged into coreboot/master: 7fbe20b baytrail: Add reserved MMIO regions to ACPI