Fix print of sent message

Timer is sent to boot processor as message body, however the
intention was to print is value in the message, that was not
being done. Add the format to print statement.

Signed-off-by: Rui Miguel Silva <rui.silva@linaro.org>