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