[coreboot-gerrit] Patch set updated for coreboot: drivers/i2c/da7219: Add driver for generating device in SSDT