[coreboot-gerrit] Patch merged into coreboot/master: arch/acpi.h: add #if guard to handle the absence of device_t type