coreboot-kgpe-d16/src/drivers/i2c/gpiomux
..
bus
mux
Kconfig
Makefile.inc