function::cputime_to_usecs(3stap) on Linux

The text b169321b20e7, as Debian 9 (Stretch) shipped it.

Translates the given cputime into microseconds

function::cputime_to_usecs(3stap) on Linux now