First, set the stack pointer right away, and zero the frame pointer.
Second, switch the boot argument registers to the unused s3 and s4. This
ensures the values will not be clobbered by function calls; they are
consumed late in the assembly routine.