[coreboot-gerrit] Patch merged into coreboot/master: 5e19650 include/device/device.h: Header is ROMCC tentative