nuttx/boards/risc-v/fe310/drivers/Kconfig