[coreboot-gerrit] Patch merged into coreboot/master: d3e31be drivers/i2c/w83793: Use devicetree.cb to set additional values