[seL4] seL4 stack overflow