incubator-nuttx/configs/avr32dev1/Kconfig