[coreboot-gerrit] Patch set updated for coreboot: 7b8551d AMD Trinity boards: Add reserved memory area for SPI base address in ACPI