coreboot-kgpe-d16/src/drivers/ocp/dmi
..
Kconfig
Makefile.inc
ocp_dmi.h
smbios.c