coreboot-kgpe-d16/src/cpu/intel/model_67x
..
Kconfig
Makefile.inc
model_67x_init.c