[coreboot-gerrit] Patch merged into coreboot/master: bachmann/ot200: Remove DRIVERS_I2C_IDREG Kconfig symbol