nuttx/boards/arm/str71x/drivers/Kconfig