coreboot-kgpe-d16/src/drivers/i2c/max98373/Kconfig