[coreboot-gerrit] Patch set updated for coreboot: a43add0 device/{cardbus, agp}.h: Missing header for device_t type.