switch-coreboot/util/mkelfImage/arch
..
i386/include
ia64/include