sim: Fix 32-bit truncation of rdtsc on x86_64

.. this problem was exposed when using hal_parport in resetting mode
in uspace on amd64.
docs: Fix cut&paste errors

.. somebody forgot to fully customize their skeleton.
task: silence a warning with gcc 4.8 + boost 1.55.0

This bug with certain boost functions is known upstream
https://svn.boost.org/trac/boost/ticket/8546
but is not fixed in the version of boost packaged for debian testing
(1.55.0.2)
task: safely format these messages

.. rather than just silencing a correct warning.