[PATCH 4.19 15/58] riscv: Fix kernel time_init()