nuttx/boards/arm/c5471/drivers/Kconfig