nuttx/boards/risc-v/sg2000/milkv_duos/Kconfig