Check the usual suspects, ie make sure all your ISRs run below MAX_SYSCALL priority, all isr sys call invocations (and only those) are via xxxFromISR() calls, and your startup stack is large enough to serve nested interrupts from all possible sources.