Tidy up CHERI stack-related comments.
Tidy up ccall.S comments -- especially, $sp manipulation is now called for
by the CHERI spec.