Modify code to adapt to ABI change.  The number of callee saved registers
has been reduced, which makes context switches less expensive.