[coreboot-gerrit] Patch set updated for coreboot: 2c3028a drivers/i2c/w83793: Use devicetree.cb to set additional values