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