Pass the right string to syslog()

Fixes #1574
Eliminate the body from vfp_ctx, we now only manipulate it through
the objcore.