LinuxKPI: cast jiffies_to_msecs() result

jiffies_to_msecs() is expected to return an uint_t. In order to avoid
changing printf format strings, properly cast the result to the
expected type.

Sponsored by: The FreeBSD Foundation

(cherry picked from commit 08bc2cc4c4d8e94ad1db63f97d923dee18bee668)