walnux/configs/avr32dev1/Kconfig