MFC r340479: Implement ktime_get_ts64() function macro in the LinuxKPI.
Submitted by: Johannes Lundberg <johalun0@gmail.com> Sponsored by: Mellanox Technologies