[coreboot-gerrit] Patch set updated for coreboot: 32cb934 intel/*/acpi: Increase range length of MCHBAR buffer to 32 kB