coreboot-kgpe-d16/src/cpu/intel/model_65x
..
Kconfig
Makefile.inc
model_65x_init.c