nuttx/boards/arm/c5471/c5471evm/Kconfig