[coreboot-gerrit] Patch set updated for coreboot: 5c63c84 acpi: Remove monolithic ACPI