[coreboot-gerrit] Patch set updated for coreboot: amd/gardenia: Add I2C devices to ACPI