kernel-fxtec-pro1x/arch/x86/configs
..
i386_defconfig
x86_64_defconfig