kernel-fxtec-pro1x/arch/avr32/boot/images
..
Makefile