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