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