[PATCH kernel-4.19 14/57] riscv: Fix kernel time_init()