nuttx/arch/rgmp/Kconfig