/include/coreboot/
../
timestamp.h