Load ctxsw()'s arguments from registers, not stack

The calling conventions don't put the first 4 registers on the stack.
Before, we were just getting lucky that resched() happened to be putting
the arguments at [sp, #8] and [sp, #12] as well as r0 and r1.