-Import tkreuzer's time implementation from AMD64 branch