Replace kern_{system,unix}_time() system calls with kern_time_{get,set}()