hal.linker.enable_interrupt_stack

I'm using BSP editor in Nios II EDS 10.0 attempting to link with a seperate interrupt stack. To do so, I enable hal.linker.enable_interrupt_stack and generate a new BSP. A new section is created for an interrupt stack, and defines for these can be found in linker.h (e.g. INTERRUPT_STACK_REGION_BASE, INTERRUPT_STACK_REGION_SPAN). However, in run time this is not used, and interrupts continue to use the common stack (i.e. relative to alt_stack_pointer). The EIC is being used exclusively for interrupts. It is also stated in the BSP Editor that this setting must be false for MicroC/OS-II BSPs, though I don't think this applies here. I am running a pretty standard Nios-II configuration. Any ideas as to why the interrupt stack is not being used in run time welcome.