coreboot-kgpe-d16/src/cpu/intel/model_6dx
..
Kconfig
Makefile.inc
model_6dx_init.c