kernel-fxtec-pro1x/arch/arm/mach-at91rm9200/Makefile.boot