coreboot-kgpe-d16/src/drivers/i2c/Makefile.inc