Use user stack in supervisor mode

This fixes a race condition, as there was only one kernel stack.