[coreboot-gerrit] Patch set updated for coreboot: arch/acpi.h: add #if guard to handle the absence of device_t type