nuttx/boards/avr/at32uc3/avr32dev1/Kconfig