mug clobbers callee-saved r12 register

[dvanhorn]

The compiler for mug uses a callee-saved register r12 to preserve a piece of data through a call to memcpy but this callee saved register is not saved and restored before returning to the run-time system, so this is an ABI bug.