nuttx/configs/c5471evm/Kconfig