LinuxKPI: Add get_random_u64() function
Sponsored by: Serenity Cyber Security, LLC
Reviewed by: manu, bz
MFC after: 1 week
Differential Revision: https://reviews.freebsd.org/D42816
(cherry picked from commit 7f88d742e578c4cef4e26ce10b9a936e58237964)