kernel-fxtec-pro1x/arch/tile/configs
..
tile_defconfig