os/time: Add a Linux specific way to get the realtime clock (for RealSense).