Removed instances of 64-bit functions from time.c

Removed all the calls to <minix/u64.h> functions and replaced them with
readable code.