nuttx/boards/avr/at32uc3/drivers/Kconfig