K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-08-25T16:43:32.656983Z
K 7
svn:log
V 136
Correctly update the address to write to after storing the stack pointer
in the kernels setjmp function.

Sponsored by:	ABT Systems Ltd

END