Teach the kernel's involuntary kernel-to-kernel context-switch code that it
should save and restore $c11 and $c12 in the preempted context, which makes
them available for safe use by the kernel for potentially preemptable
operations such as copyincap() and copyoutcap().  It also means we no
longer need to explicitly disable interrupts around use of those registers
in kernel (to follow).