move NFS specific call to kern_time.c