linux/arch/nios2/Kconfig.debug