coreboot-kgpe-d16/src/drivers/secunet/dmi
..
Kconfig
Makefile.inc
eeprom.h
smbios.c