ktime_to_timeval(9) on Linux

The text aa9f868a6c17, as Debian 8 (Jessie) shipped it. The page shows this text now.

convert a ktime_t variable to timeval format

ktime_to_timeval(9) on Linux now