kernel-fxtec-pro1x/arch/avr32/mach-at32ap/Kconfig