[coreboot-gerrit] New patch to review for coreboot: acpi_device: Have acpi_device_scope() use a separate buffer