[coreboot-gerrit] Patch set updated for coreboot: acpi_device: Have acpi_device_scope() use a separate buffer