[coreboot-gerrit] Patch set updated for coreboot: mainboard/gigabyte/*: transition away from device_t