[coreboot-gerrit] New patch to review for coreboot: f8d8c62 device/cardbus.h: Missing header for device_t type.