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