Cleanup non-arch xtime uses, use get_seconds() or current_kernel_time().