coreboot-kgpe-d16/util/mkelfImage/arch/i386/include
..
arch
limits.h
stdint.h