coreboot-kgpe-d16/src/drivers/acpi/thermal_zone
..
chip.h
Kconfig
Makefile.inc
thermal_zone.c