7b6630700d
saves 32 registers) to do on every context switch. This is only required for SMP, so only do it there. We should also look at moving the critical enter/exit out to the callers